Package: checkpolicy

"checkpolicy" package binaries on CentOS:

/usr/bin/checkmodule /usr/bin/checkpolicy /usr/bin/sedismod /usr/bin/sedispol

You may install this package on CentOS with yum install checkpolicy

"checkpolicy" package binaries on Debian:

/usr/bin/checkmodule /usr/bin/checkpolicy

You may install this package on Debian with apt-get install checkpolicy