Package: selinux-basics

"selinux-basics" package binaries on Debian:

/usr/sbin/check-selinux-installation /usr/sbin/postfix-nochroot /usr/sbin/selinux-activate /usr/sbin/selinux-config-enforcing /usr/sbin/selinux-policy-upgrade

You may install this package on Debian with apt-get install selinux-basics