-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 3.0 (quilt)
Source: isl
Binary: libisl-dev, libisl-dbg, libisl10
Architecture: any
Version: 0.11.1-2~12.04
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Uploaders: Matthias Klose <doko@debian.org>
Homepage: http://freecode.com/projects/isl
Standards-Version: 3.9.4
Build-Depends: debhelper (>= 7.0.50~), autotools-dev, libgmp-dev
Package-List: 
 libisl-dbg deb debug extra
 libisl-dev deb libdevel optional
 libisl10 deb libs optional
Checksums-Sha1: 
 d7936929c3937e03f09b64c3c54e49422fa8ddb3 1244610 isl_0.11.1.orig.tar.bz2
 a29a50958bdce019729ee0d215441ac5bf8d2e77 16546 isl_0.11.1-2~12.04.debian.tar.gz
Checksums-Sha256: 
 095f4b54c88ca13a80d2b025d9c551f89ea7ba6f6201d701960bfe5c1466a98d 1244610 isl_0.11.1.orig.tar.bz2
 a98c853bfc6bbc33464cf104ab95035027ad518e59d5d751102dfa0a3c5dd578 16546 isl_0.11.1-2~12.04.debian.tar.gz
Files: 
 bce1586384d8635a76d2f017fb067cd2 1244610 isl_0.11.1.orig.tar.bz2
 1d26212375a4fa76b356c915fc90567d 16546 isl_0.11.1-2~12.04.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEARECAAYFAlFf3joACgkQStlRaw+TLJzbuQCfcb/f062ltJ8RDLs7DJwfVu9X
nYIAn2hfVYEmcDe5/DfpeItdV0Zq5//U
=7O8d
-----END PGP SIGNATURE-----