-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 17 Nov 2015 00:20:09 +0100 Source: isl Binary: libisl-dev libisl-dbg libisl15 Architecture: source amd64 Version: 0.15-3 Distribution: unstable Urgency: medium 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 libisl15 - manipulating sets and relations of integer points bounded by line Changes: isl (0.15-3) unstable; urgency=medium . * Upload to unstable. Checksums-Sha1: 5f3b8dd3b07d90c36619c10f7a25b51cda8de650 1854 isl_0.15-3.dsc f4becca3389ade3da4b75ce6169aa1615a9131c3 20852 isl_0.15-3.debian.tar.xz ac309e836d9ba77c5dba482728a9e61e1e9a6ffe 1129836 libisl-dbg_0.15-3_amd64.deb 8bfc9cfbbcbc48c692063b692188a7d981bf9719 567848 libisl-dev_0.15-3_amd64.deb 800677c59dc1900d3d735ea69c2b7b585a79e859 531892 libisl15_0.15-3_amd64.deb Checksums-Sha256: a1f02c3bd8fa7b5ec9c9981b912a4dc878e88d902401141674be288336c2e2ee 1854 isl_0.15-3.dsc c44592bfeefe32e1f454ecb64890aa4d8c417b89f3066e834c1b211b5bf0ff2a 20852 isl_0.15-3.debian.tar.xz 2e912d9a70374c311e2fe32928269ffd7e92bc0a5e917ba84ad1887116cc76e9 1129836 libisl-dbg_0.15-3_amd64.deb 02399eb7691598f35964643985056bd58500110543326c28da2e97426f7e51a8 567848 libisl-dev_0.15-3_amd64.deb 59fcef0b320b4d32df61ae93849121a0aaa71533b3e2154a535b3ecff8b0d803 531892 libisl15_0.15-3_amd64.deb Files: 6f124bd03344bad823c86583a8aa4839 1854 libs optional isl_0.15-3.dsc a450528810e63b13b2715073bf1289c2 20852 libs optional isl_0.15-3.debian.tar.xz 70100fca7c770244d7bfcbbf7d96010b 1129836 debug extra libisl-dbg_0.15-3_amd64.deb 32ebb6c94ce4475c8e553a3b9aeace99 567848 libdevel optional libisl-dev_0.15-3_amd64.deb 7fced8f9f4770eb80ad86a47dd87e20d 531892 libs optional libisl15_0.15-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWSmV0AAoJEL1+qmB3j6b1k40QAIBFtEMvDPI99OgUrURq8eKe 2tHxK0vk/MjzY557So9W0edOktA8z74aLcbfc27QjOhkCeJRCwuucwnOAbz9Inms 8S7GLOEXpLXTvs8kvJLvsLYNUme4XwGWwHoOqdK6Fun7LsDoEK8Odc6J69uKrZJU En9rvjQTLI9Qk793Uf3znSDcUKiuLK5adC396Pi9dP93inhkwhmvELzLYPpUT+7N 5x6PtdPnv5ctBpcbiB/eoiHDyOxfnCj2ed9d6iR8T/dgptR06ypt5+gIY+fUrrwJ zozpwSOyk1kNn3x9tZ4X7wEismO/Rz+ffRtHx8Ca7S4yMq1OpCjgWHpV5qapGfg6 3FRum9ISpzcsxo9V8gVo7WJoVelLGNMEP701ZzBVYcB3XN1/83izVO854BhssG4j knXj+m1g6TlPVzdDIlV08GQQrD9jTDILBr4xatA9puNjHsog/AQbA/ICcL8qJ3f+ OSMb1wWeFPjM1/5z4Iso0jYg76q38a/JgXqxkPcv9pE1QYu8YDF3iPN/IekeCSPe IpaHCHc63lUa22oVbOsnMJaGEWRWtg1OA2gdE05pfF7wa1aop2AofOo+epHNV9mA x4qYd9Dn1iDcPX2UUEO16T0qbRU3Bnf7YVAGeTGKb8KBJneNJW7HFBuOx6ulX9LJ XslnKOlMNWwPesv6aCeT =2RDv -----END PGP SIGNATURE-----
