Ubuntu Archive Auto-Sync
katie at jackass.ubuntu.com
Tue Oct 25 04:36:39 CDT 2005
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Origin: Debian/unstable
Format: 1.7
Date: Tue, 25 Oct 2005 09:11:29 +0100
Source: slat
Binary: slat
Architecture: source
Version: 2.0-1
Distribution: dapper
Urgency: low
Maintainer: Manoj Srivastava <srivasta at debian.org>
Changed-By: Ubuntu Archive Auto-Sync <katie at jackass.ubuntu.com>
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:
fb084e31e26c815a3280c964be00acea 450866 admin optional slat_2.0.orig.tar.gz
3d0ed54e1d3e7af42cde1d3eb6d2c965 603 admin optional slat_2.0-1.dsc
b48125aadd34b7e31c801813db8d243f 28591 admin optional slat_2.0-1.diff.gz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)
iQEVAwUBQ13osQF4adwMEr3XAQJBXAf/VG7mtMvIV2DZdcIWt8vchuPFaNYO2B7P
CgTTYJ6aYqvTVaIfAAm6hSd9bpk7KGgQWWIe1/WV+Da/JYTkBn1/DDyesCSsp6pX
/4xPZpU6oz4I3DgVhcyzsp2bbeTRcjcctYYAl5Qbks3Iy75XOaDeF19BmK7vON1S
LsEOoqn2QGPf+lIrrRer81H6eFw8VdnZ2rn6xbjUApDIR4mmZD2LZO4b5dy/T1Ww
v7J+N/gFbSPue6Coe95aNvbbVxNaD/N2lwQaXF0wrfZE+Lqtdzxij8zqw5Jij1B1
BsWx7rJjScjplbk5dOKEnGXpRJRS+KGUm8DEXQGlpwlHnLWnK0gjig==
=atEu
-----END PGP SIGNATURE-----
Accepted:
slat_2.0-1.diff.gz
to pool/universe/s/slat/slat_2.0-1.diff.gz
slat_2.0-1.dsc
to pool/universe/s/slat/slat_2.0-1.dsc
slat_2.0.orig.tar.gz
to pool/universe/s/slat/slat_2.0.orig.tar.gz
More information about the ubuntu-changes-auto
mailing list