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

Format: 3.0 (quilt)
Source: isl
Binary: libisl-dev, libisl-dbg, libisl10
Architecture: any
Version: 0.11.2-1
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, dh-autoreconf
Package-List: 
 libisl-dbg deb debug extra
 libisl-dev deb libdevel optional
 libisl10 deb libs optional
Checksums-Sha1: 
 ca2c93a58e899379d39f2956b2299c62e3975018 1252984 isl_0.11.2.orig.tar.bz2
 d3b8b8305cf434cbb433be994d81d8f05d801368 16436 isl_0.11.2-1.debian.tar.gz
Checksums-Sha256: 
 e6d83347d254449577299ec86ffefd79361dc51f6de7480723c9c43b075cdc23 1252984 isl_0.11.2.orig.tar.bz2
 eafd873b2bc6f6bdec921946c52216b68272443279839e42db48b7aa1a7fcb1a 16436 isl_0.11.2-1.debian.tar.gz
Files: 
 c40daa17d2995d1c98a0c1aca607541f 1252984 isl_0.11.2.orig.tar.bz2
 c64a78451ab0db1460f6c12b5a8138f2 16436 isl_0.11.2-1.debian.tar.gz

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

iEYEARECAAYFAlGLmuUACgkQStlRaw+TLJxY2ACfUmcwkVbbjYHzAExMdyqryUux
6f4AoLg4jJjPdw6LtK+S0RqNdZQUOO6c
=AQi9
-----END PGP SIGNATURE-----