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