I am not sure where they left, but I had selinux-policy-* packages from https://build.opensuse.org/package/binaries/home:AndreasStieger:branches:openSUSE:Leap:42.3:Update/selinux-policy.openSUSE_Leap_42.3_Update?repository=openSUSE_Leap_42.3_Update and they were working (now on Tumbleweed with selinux-policy*20140730-30.1.noarch).