-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 09 May 2013 14:38:13 +0200 Source: isl Binary: libisl-dev libisl-dbg libisl10 Architecture: source i386 Version: 0.11.2-1 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.11.2-1) unstable; urgency=low . * New upstream release. * Update symbols file. Checksums-Sha1: 9cc4c556243045982017a251a816851bc1382303 1240 isl_0.11.2-1.dsc ca2c93a58e899379d39f2956b2299c62e3975018 1252984 isl_0.11.2.orig.tar.bz2 d3b8b8305cf434cbb433be994d81d8f05d801368 16436 isl_0.11.2-1.debian.tar.gz 0f1946360bc9a66f1686e9f96e7693a6bac399b0 577666 libisl-dev_0.11.2-1_i386.deb 9ffa0f6f07714cde07644fe8e92c0d4c0b21165d 1117390 libisl-dbg_0.11.2-1_i386.deb b6694095272b0f05ebcd06577b8cf1e57ad166ed 529634 libisl10_0.11.2-1_i386.deb Checksums-Sha256: 43000ef4232db9f423fc4350d7b02401c4be486ab4500cf4b17b2235fd810a68 1240 isl_0.11.2-1.dsc e6d83347d254449577299ec86ffefd79361dc51f6de7480723c9c43b075cdc23 1252984 isl_0.11.2.orig.tar.bz2 eafd873b2bc6f6bdec921946c52216b68272443279839e42db48b7aa1a7fcb1a 16436 isl_0.11.2-1.debian.tar.gz 78f56e47e513239fcd2d5116202f51b56394fb4d6125aa824b922681dbe97301 577666 libisl-dev_0.11.2-1_i386.deb 020fb15d04ad452ee9abcb705ba1da78fcedc7c6bb3f74dd4cb16cd03cfe5f85 1117390 libisl-dbg_0.11.2-1_i386.deb 18fc8f22796ba4fc63f25c872bb4227c5ac8ab4d58b2a4682d9287b18a0a82a6 529634 libisl10_0.11.2-1_i386.deb Files: a5b0957ed2c39b9eb42564f181eb833e 1240 libs optional isl_0.11.2-1.dsc c40daa17d2995d1c98a0c1aca607541f 1252984 libs optional isl_0.11.2.orig.tar.bz2 c64a78451ab0db1460f6c12b5a8138f2 16436 libs optional isl_0.11.2-1.debian.tar.gz 43667b8fd6cefa09b5553eab93e5f1de 577666 libdevel optional libisl-dev_0.11.2-1_i386.deb 987b3d5c8d90794f5356cc36cd802cf3 1117390 debug extra libisl-dbg_0.11.2-1_i386.deb 1d2e0fb3f03f8ef53ae098270af1439c 529634 libs optional libisl10_0.11.2-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlGLmu4ACgkQStlRaw+TLJz6EQCffQwyGiSuKqMj8YOA/Pc3c0gL 8GIAni8mTK0FvqtvNdgxYO2E/65Zr7Kj =FlOE -----END PGP SIGNATURE-----
