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

Format: 3.0 (quilt)
Source: isl
Binary: libisl-dev, libisl-dbg, libisl10
Architecture: any
Version: 0.10-3
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Uploaders: Matthias Klose <doko@debian.org>
Homepage: http://freshmeat.net/projects/isl
Standards-Version: 3.9.3
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: 
 91db73f10075a67039c38abfcd5b1bd64581a6e3 1076325 isl_0.10.orig.tar.bz2
 237515e5ab3cb814fbc17082085cadc8778efe6b 3687 isl_0.10-3.debian.tar.gz
Checksums-Sha256: 
 73980d8ea801f8aeff4ee57ee0be142f109f5a9f9e797d07fde02efe23b8151f 1076325 isl_0.10.orig.tar.bz2
 f6e5aad37c0edfc7943c4d327bfff4780dc49d6e7184ddc4450a5e466a938486 3687 isl_0.10-3.debian.tar.gz
Files: 
 c1ece653891bb2a5f55ca25e3f4e8f35 1076325 isl_0.10.orig.tar.bz2
 d2676571db56d02caa49c0cbbcf08da8 3687 isl_0.10-3.debian.tar.gz

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

iEYEARECAAYFAk/51k4ACgkQStlRaw+TLJw/pACfWXnrK36q5bTkJKrFz7dSKF3K
4ccAmgJyhM3yhWzhWhftIRISGuyGqo5J
=/PaJ
-----END PGP SIGNATURE-----