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

Format: 3.0 (quilt)
Source: isl
Binary: libisl-dev, libisl-dbg, libisl10
Architecture: any
Version: 0.12.2-2
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.5
Build-Depends: debhelper (>= 7.0.50~), dh-autoreconf, automake1.11, libgmp-dev
Package-List:
 libisl-dbg deb debug extra arch=any
 libisl-dev deb libdevel optional arch=any
 libisl10 deb libs optional arch=any
Checksums-Sha1:
 ca98a91e35fb3ded10d080342065919764d6f928 1319434 isl_0.12.2.orig.tar.bz2
 6b852b2e62160451e2b8b8d37d01e345780f6cee 17296 isl_0.12.2-2.debian.tar.xz
Checksums-Sha256:
 f4b3dbee9712850006e44f0db2103441ab3d13b406f77996d1df19ee89d11fb4 1319434 isl_0.12.2.orig.tar.bz2
 b91528d5f201c3883f0d57b0c2a44985a933c9e50836ca98000d3db9377784b1 17296 isl_0.12.2-2.debian.tar.xz
Files:
 e039bfcfb6c2ab039b8ee69bf883e824 1319434 isl_0.12.2.orig.tar.bz2
 a968a3be41f0836769ed6a67a869505f 17296 isl_0.12.2-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iEYEARECAAYFAlOq1ZEACgkQStlRaw+TLJxeJgCeLucIAOu+jJZNCn5rMWh5TuND
dWkAoKNTxpHSRzTptthx31exXT7O9zNi
=CSMO
-----END PGP SIGNATURE-----