-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Thu, 15 Sep 2005 08:09:44 -0500
Source: slat
Binary: slat
Architecture: source i386
Version: 2.0-1
Distribution: unstable
Urgency: low
Maintainer: Manoj Srivastava <srivasta@debian.org>
Changed-By: Manoj Srivastava <srivasta@debian.org>
Description:
slat - Tools for information flow analysis of SELinux policies
Changes:
slat (2.0-1) unstable; urgency=low
.
* New upstream release. Excerpted changes:
* src/slat/slat.c: Changed slat to read binary policies. The
program is now built upon a library provided by the libsepol-devel
package.
* src/slat/apol2slat.in: Added a script that converts APOL style
permission mappings into the format used by SLAT. The format is
the common and class declaration part of an old-style mls file.
* src/poldecond/*: Deleted poldecond as reading source policies is
no longer supported.
* src/formula/formula.c (mk_tran*): Changed some formula
constructors so they do constant folding.
* src/formula/formula.c (ptran): Added a new group so that printed
LTS formulas better represent the precedence of conjunction and
disjunction.
* src/lts2smv/gensmv.c (ptran): Added a new group so that printed
SMV formulas better represent the precedence of conjunction and
disjunction
Files:
3d0ed54e1d3e7af42cde1d3eb6d2c965 603 admin optional slat_2.0-1.dsc
fb084e31e26c815a3280c964be00acea 450866 admin optional slat_2.0.orig.tar.gz
b48125aadd34b7e31c801813db8d243f 28591 admin optional slat_2.0-1.diff.gz
b912e92cb3dfc58e97defff7df68b808 162668 admin optional slat_2.0-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)
iD8DBQFDKYGiIbrau78kQkwRAgH7AKDzQBMCILNylLv79DcgPZ76/u5/7QCffAd7
XP/JRUy9qDCYdEyPXMyD4UA=
=pkK5
-----END PGP SIGNATURE-----
Accepted:
slat_2.0-1.diff.gz
to pool/main/s/slat/slat_2.0-1.diff.gz
slat_2.0-1.dsc
to pool/main/s/slat/slat_2.0-1.dsc
slat_2.0-1_i386.deb
to pool/main/s/slat/slat_2.0-1_i386.deb
slat_2.0.orig.tar.gz
to pool/main/s/slat/slat_2.0.orig.tar.gz
--
To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
