-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: isl-0.18
Binary: libisl-0.18-dev, libisl15
Architecture: any
Version: 0.18-4
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Uploaders: Matthias Klose <doko@debian.org>
Homepage: http://isl.gforge.inria.fr/
Standards-Version: 4.1.3
Build-Depends: debhelper (>= 9), dh-autoreconf, libgmp-dev
Package-List:
 libisl-0.18-dev deb libdevel optional arch=any
 libisl15 deb libs optional arch=any
Checksums-Sha1:
 13237a66fc623517fc570408b90a11e60eb6b4b9 1475708 isl-0.18_0.18.orig.tar.xz
 5c7d9217afa12a626fb0b9226913f9e8d4522514 22220 isl-0.18_0.18-4.debian.tar.xz
Checksums-Sha256:
 0f35051cc030b87c673ac1f187de40e386a1482a0cfdf2c552dd6031b307ddc4 1475708 isl-0.18_0.18.orig.tar.xz
 d24372925cf8baa49d8f1d012087049bdd1394a2c525a6ce0d0f853977ae9560 22220 isl-0.18_0.18-4.debian.tar.xz
Files:
 5337cd4c29101fe8e8e1b0f5948f91e2 1475708 isl-0.18_0.18.orig.tar.xz
 d816a8f4e2ee9fe55809f8683d2f78e7 22220 isl-0.18_0.18-4.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlqp/JYQHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9a00EACm+VY3K9vyvyvJXPdZVwa1pVGIKWGb+akT
tRvkjWx5jKrqpq4G73geiDIYkaoRtIoHSWOzzBp/T0BHI2AsgIRjVA8GR83FqNq8
bizkIwm7qLp6bT8D6eyy/yfTynkDPbwfr+mj3bhNMMeNooKuy9FPC1pIkLg0kXem
PshocyOz91g4tkrkNYpqQqH1CH4snMvDq46SSVB+33M++MRWHJjiFkRW+5sZ2MYy
Fhj7c0O3sHLGIYs/rmc/eAFtFZQXtxfaKXMXcyce/LGfY/Y2ZuekgLMUPPrP211q
qe5BTP9ZQhQiXs9ghLqdPS7QSXgWuDmJU3FGOxv1c8b5v/a0A9XnJBxGMhrNXRSk
nf1k/36TkvS/DPGrH7AuayoQutNxNtH2M/JEsnkIwbr6s9lEcvgKmURyjiwTrJ11
M+KIDpIr/KbxuZm/cJB24LVdaClOdX7Meq0FDMp5+ifNZCokICJE5C8cn7AVHqPT
ioqFkjoIhar7IxyCNJUi/nSl/VsMQSfnFnzav/TpXT1D6OiWpYj7tDiamW2PVUH3
gaMyRTyoDRnschuKXlqdkWRiHMpYB5gKEzNO3dEk4y9xqOUXUohF7iVZXbKt4cyY
Rwh7rAH8fNlFShKvUv+w8j/gdoTNveFeZ+Hb31dWizc3bw3x1+VLMcUvj7D/Ta7F
FxN37k/Q6Q==
=niOU
-----END PGP SIGNATURE-----