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

Format: 3.0 (quilt)
Source: isl
Binary: libisl-dev, libisl-dbg, libisl13
Architecture: any
Version: 0.14-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.6
Build-Depends: debhelper (>= 7.0.50~), dh-autoreconf, libgmp-dev
Package-List:
 libisl-dbg deb debug extra arch=any
 libisl-dev deb libdevel optional arch=any
 libisl13 deb libs optional arch=any
Checksums-Sha1:
 259678a0b1d12f8bc45b9aaeaa14feded9d5b3e1 1247052 isl_0.14.orig.tar.xz
 e7e83f91e1a17b272b652be66d62e81ade0c7c1b 18540 isl_0.14-1.debian.tar.xz
Checksums-Sha256:
 b1044f02819da0708fc7071fa2a558ce5d3c29d6676c8cb113caaedd5903ff03 1247052 isl_0.14.orig.tar.xz
 b39691cec6a0220f73d08da4457e6c180643d99cba4deb0616281ea5364b9256 18540 isl_0.14-1.debian.tar.xz
Files:
 3d6b6a1cddd165fae2af5487c5531b09 1247052 isl_0.14.orig.tar.xz
 bea5a278a572366db0afd57070b72bf4 18540 isl_0.14-1.debian.tar.xz

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

iEYEARECAAYFAlRh+bgACgkQStlRaw+TLJzudwCfUyHKj67P8ZiFdvpyhhsBvx+J
E10An2mJZyb14evSwjzk0O+VaGIRxcuh
=Tm2t
-----END PGP SIGNATURE-----