Cannot find selinux rules for smart proxy - missing from package "foreman-selinux"?

@packaging
I think there is some error in our workflow for foreman-selinux. Looking at the current builds at copr I see both foreman-selinux and foreman-proxy-selinux being build, but when I look at yum.theforeman.org the package foreman-proxy-selinux is not included in the repositories since 2.5 or the other way was last pushed to the repository in 2.4.

When I look at foreman-proxy-selinux from copr it seems perfectly fine.

I can not find a reason for it not being uploaded, so can please someone have a look who is more familiar with this part?