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

Format: 3.0 (quilt)
Source: isl
Binary: libisl-dev, libisl-dbg, libisl10
Architecture: any
Version: 0.12.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.5
Build-Depends: debhelper (>= 7.0.50~), dh-autoreconf, automake1.11, libgmp-dev
Package-List: 
 libisl-dbg deb debug extra
 libisl-dev deb libdevel optional
 libisl10 deb libs optional
Checksums-Sha1: 
 ca98a91e35fb3ded10d080342065919764d6f928 1319434 isl_0.12.2.orig.tar.bz2
 0cef7cc58f630e4b4d11cd95c204fcbe2394db9d 15756 isl_0.12.2-1.debian.tar.xz
Checksums-Sha256: 
 f4b3dbee9712850006e44f0db2103441ab3d13b406f77996d1df19ee89d11fb4 1319434 isl_0.12.2.orig.tar.bz2
 582a3c1c804c9fb430bf5d2f2d5d82aa541704e796bec2389df697a7e80ad5e2 15756 isl_0.12.2-1.debian.tar.xz
Files: 
 e039bfcfb6c2ab039b8ee69bf883e824 1319434 isl_0.12.2.orig.tar.bz2
 03ed319c9005c1595a1eb7ccc88af057 15756 isl_0.12.2-1.debian.tar.xz

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

iEYEARECAAYFAlL80qEACgkQStlRaw+TLJywWACfYHUC99WRWi5lBCq3s19nSDhO
HnQAnjYmd/pcYDsS2CuaoFbR3mAxLe8S
=o7lu
-----END PGP SIGNATURE-----