Re: was selinux-policy-devel merged into selinux-policy