-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 26 Nov 2013 12:44:41 +0100 Source: isl Binary: libisl-dev libisl-dbg libisl10 Architecture: source amd64 Version: 0.12.1-2 Distribution: unstable Urgency: low Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Matthias Klose <doko@debian.org> Description: libisl-dbg - manipulating sets and relations of integer points bounded by line libisl-dev - manipulating sets and relations of integer points bounded by line libisl10 - manipulating sets and relations of integer points bounded by line Changes: isl (0.12.1-2) unstable; urgency=low . * Drop build dependency on libcloog-isl-dev. Checksums-Sha1: 4ac4c4684f93c9bc6de52dcbf9a3622ba898c6ff 1225 isl_0.12.1-2.dsc 7083c329171093315875e5c6d88f7b4d7d04764d 65099 isl_0.12.1-2.debian.tar.gz 4ba3f5de019ad4a91c2964231e54e539c92fc047 451018 libisl-dev_0.12.1-2_amd64.deb 555faefed0a5bf493d040d8c5810dedf90862f7d 916800 libisl-dbg_0.12.1-2_amd64.deb 8d57c0cf6cb9d5a4a80423a91c8a8f748fb532fd 431700 libisl10_0.12.1-2_amd64.deb Checksums-Sha256: 1bb7132a879d3ff7cdbc83bf8f036fd90eabca5582a098ee7295861300d0572b 1225 isl_0.12.1-2.dsc d889211aac1c5a884d971f0642d561882e668b3329dd2c7888b03c4cd53e51ac 65099 isl_0.12.1-2.debian.tar.gz 6b2e6696fc6b9fa4ee5f2770d1214e0879ef97bf230793e644be6aba38b7e405 451018 libisl-dev_0.12.1-2_amd64.deb abdf34b9c61ce4f832f95b1eac37a01d8613ea33750ac69111ef6dce268b333d 916800 libisl-dbg_0.12.1-2_amd64.deb 916e5888d839bc9fc0a9ec84f461b7d86c06a7c3bda0bd1f3f386c98faed4eca 431700 libisl10_0.12.1-2_amd64.deb Files: 3830dc086f24f6571f8c0ce798e88687 1225 libs optional isl_0.12.1-2.dsc 13a5694e3731fd7f5692cdb3c6a09212 65099 libs optional isl_0.12.1-2.debian.tar.gz a0d2feda831cb850268bbd7eda8172ab 451018 libdevel optional libisl-dev_0.12.1-2_amd64.deb 2c70d8a728e07e97fc429f8dc4e07bc6 916800 debug extra libisl-dbg_0.12.1-2_amd64.deb b3b95444fd6d6fa52eb76ae0c59670f0 431700 libs optional libisl10_0.12.1-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iEYEARECAAYFAlKUkS4ACgkQStlRaw+TLJy46QCbBtfzITMDzF0AL5TPALVpCAed jRsAoLXlBGpeNF96BRTFUWa50ErPqqwX =k9k1 -----END PGP SIGNATURE-----
