-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: isl
Binary: libisl-dev, libisl23
Architecture: any
Version: 0.25-1.1
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Uploaders: Matthias Klose <doko@debian.org>
Homepage: http://isl.gforge.inria.fr/
Standards-Version: 4.6.0
Build-Depends: debhelper (>= 11), libgmp-dev, python3:any
Package-List:
 libisl-dev deb libdevel optional arch=any
 libisl23 deb libs optional arch=any
Checksums-Sha1:
 247eecb538ff310e8fb77badd629ee32a3895a98 1977048 isl_0.25.orig.tar.xz
 5107cb5e3fa38dc5bf59bcf1cc054e1512d85821 24376 isl_0.25-1.1.debian.tar.xz
Checksums-Sha256:
 be7b210647ccadf90a2f0b000fca11a4d40546374a850db67adb32fad4b230d9 1977048 isl_0.25.orig.tar.xz
 ac13fdfecc8acb1ba11be2b03b4cbdbe2892a65f37df166bd61784893142b30d 24376 isl_0.25-1.1.debian.tar.xz
Files:
 69cee1cb1db3a5a6856095958ee1ff6c 1977048 isl_0.25.orig.tar.xz
 47359d6bfd13366559c4b08f5ba4de3d 24376 isl_0.25-1.1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEUryGlb40+QrX1Ay4E4jA+JnoM2sFAmWT7LEACgkQE4jA+Jno
M2vR1A/+PhAZbhuxp3kbJ7UFiU7xnornQKXsqocuUtojj7GK4nhAox6sXjX8Ep8C
Q6RLEzT6GUFHblLi4N5N13MAJqmKLiM7vxIzBRJiB51iVNnFUOY+WHvlRY0jLHZ+
6bBfGfi1vTXp6QzWk11kP7cvZx4fLhUB2VIo6JDs5bG0Th4h135M8+BuCWBYdQzT
z8C+EdT38CDFT5bSBGBi3HzYKDowvA5f3q30cGd0afNcOqbMEBBpctLiS2lkUqw3
B2GorNkUNzBg3l/WglD7roT1pglPWW2VP5IrLdDKHUVbwYGSvA68SXd5xBNMN5IJ
VcE5VoN49115Ofuzx2gZ/57LRW59DmjhMM1Zjh2xLdtXQm7VIZQAeGwOJXFLS9s0
hXq1BZsW4c4RA4E99GwxKLdLtsMihZu7IfTAR2KmRfIQANMZ/EbTHQMqsr6mHe0G
7E0eDT8NaO/tw3107c+elrooOTs4UrrfOD0DIBBmVo66vQKzeJIbuNYq0BXyyhID
we+s16Rp4XixWICy6vKgTiQDBAnbL2I8FqEg68mg7TK+TWLoqDAd66tdcz2MDPTv
aPEsSIi3tdaekfM2azpemG4Lc0fq0xudW7ve2j2fLbGV03bZ5Ahuowk3LrAol19l
ljCQH/TyEZCErJ5ivc5GYHLHmw7sTqUpuUMrywy69DC9jMSgj8Q=
=6ZGn
-----END PGP SIGNATURE-----