checkpolicy - SELinux policy compiler

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package filename checkpolicy_2.3-1_i386.deb
Package name checkpolicy
Package version 2.3
Package release 1
Package architecture i386
Package type deb
Category admin::kernel admin::user-management devel::compiler interface::commandline role::program scope::utility security::TODO utils works-with::software:source
License -
Maintainer Debian SELinux maintainers <>
Download size 147.73 KB
Installed size 684.00 KB
Security-enhanced Linux is a patch of the Linux® kernel and a number
of utilities with enhanced security functionality designed to add
mandatory access controls to Linux.  The Security-enhanced Linux
kernel contains new architectural components originally developed to
improve the security of the Flask operating system. These
architectural components provide general support for the enforcement
of many kinds of mandatory access control policies, including those
based on the concepts of Type Enforcement®, Role-based Access
Control, and Multi-level Security.
This package contains checkpolicy, the SELinux policy compiler.
Only required for building policies.  It uses libsepol to generate
the binary policy.  checkpolicy uses the static libsepol since it
deals with low level details of the policy that have not been
encapsulated/abstracted by a proper shared library interface.


Package Version Architecture Repository
checkpolicy_2.3-1_amd64.deb 2.3 amd64 Debian Main
checkpolicy - - -


Name Value
libc6 >= 2.4


Type URL
Binary Package checkpolicy_2.3-1_i386.deb
Source Package checkpolicy

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install checkpolicy deb package:
    # sudo apt-get install checkpolicy




2014-05-15 - Laurent Bigonville <>
checkpolicy (2.3-1) unstable; urgency=medium
* Team upload.
* New upstream release
- debian/control: Bump build-dependencies to match the new release
* debian/control: Bump Standards-Version to 3.9.5 (no further changes)
* Add Built-Using field as checkpolicy is statically linking against
2013-11-01 - Laurent Bigonville <>
checkpolicy (2.2-1) unstable; urgency=low
* Team upload.
* New upstream release
- debian/control: Bump build-dependencies to match the release
- debian/patches/multiarch.patch: Refreshed
* debian/control:
- Bump Standards-Version to 3.9.4 (no further changes)
- Use canonical URL for VCS-Git field
2013-05-09 - Laurent Bigonville <>
checkpolicy (2.1.12-1) unstable; urgency=low
* Team upload.
* New upstream release
- debian/control: Bump build-dependencies to match the release
* Update debian/watch file
2012-09-26 - Laurent Bigonville <>
checkpolicy (2.1.11-1) experimental; urgency=low
* Team upload.
* New upstream release
- Bump libsepol1-dev and libselinux1-dev build-dependencies
* debian/gbp.conf: Change default git-buildpackage build-directory and the
debian-branch to "debian" instead of "upstream"
2012-03-27 - Laurent Bigonville <>
checkpolicy (2.1.8-2) unstable; urgency=low
* Team upload.
* Switch to debhelper sequence
* debian/control:
- Bump Standards-Version to 3.9.3
- Add Homepage field
- Update Vcs-* fields
- Make checkpolicy arch linux-any
- Put under the Debian SELinux team maintenance
* Add debian/gbp.conf file
* debian/rules: Append CPPFLAGS hardening flags to CFLAGS as build system is
not using CPPFLAGS
2012-02-28 - Russell Coker <>
checkpolicy (2.1.8-1) unstable; urgency=low
* New upstream version, added filename trans rule support.
2011-12-30 - Hideki Yamane <>
checkpolicy (2.1.0-1.1) unstable; urgency=low
* Non-maintainer upload.
* debian/rules,debian/patches/multiarch.patch
- add multiarch support to fix FTBFS (#652748)
* debian/source/format
- add it to support quilt
2011-08-30 - Russell Coker <>
checkpolicy (2.1.0-1) unstable; urgency=low
* New upstream release.
Support role transitions, filename transitions, and single digit module
versions among other things.
* Made it build-depend on the latest libsepol1-dev and libselinux1-dev
2011-03-31 - Russell Coker <>
checkpolicy (2.0.23-1) unstable; urgency=low
* Made myself the maintainer and made Manoj an uploader as he hasn't done an
upload for a while
* New upstream release
+ Remove unused variables to fix compliation under GCC 4.6 by Justin Mattock
* Used the latest versions of libsepol1-dev and libselinux1-dev in
2010-07-21 - Manoj Srivastava <>
checkpolicy (2.0.22-1) unstable; urgency=low
* New upstream release. Update checkmodule man page and usage by Daniel
Walsh and Steve Lawrence

See Also

Package Description
checkpw_1.02-1.1_i386.deb checks password which is stored in ~/Maildir/.password
checksecurity_2.0.15_all.deb basic system security checks
checkstyle-doc_5.9-1_all.deb Documentation for Checkstyle
checkstyle_5.9-1_all.deb checks Java source against a coding standard
cheese-common_3.14.1-2_all.deb Common files for the Cheese tool to take pictures and videos
cheese_3.14.1-2_i386.deb tool to take pictures and videos from your webcam
chef-zero_3.1.3-1_all.deb in-memory Chef server (for testing and solo purposes)
chef_11.12.8-2_all.deb systems integration framework - clients
chemeq_2.12-1_i386.deb Parser for chemical formula and equilibria
chemical-mime-data_0.1.94-6_all.deb chemical MIME and file type support for desktops
chemical-structures_2.2.dfsg.0-12_all.deb set of molecular structures in open formats
chemtool_1.6.14-1_i386.deb chemical structures drawing program
cherrytree_0.35.2-1_all.deb hierarchical note taking application
chessx_1.2.2-1_i386.deb chess database
chewmail_1.3-1_all.deb mail archiver for various mailbox formats