Accepted:
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 13 Feb 2014 14:51:31 +0100 Source: isl Binary: libisl-dev libisl-dbg libisl10 Architecture: source amd64 Version: 0.12.2-1 Distribution: unstable Urgency: medium Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Matthias Klose <d...@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 Closes: 730352 Changes: isl (0.12.2-1) unstable; urgency=medium . * New upstream release. * Fix header file. Closes: #730352. * Build using dh-autoreconf. * Update symbols file. Checksums-Sha1: 7d441693f2bddcd2c89dd311d80e5ae451169a96 1222 isl_0.12.2-1.dsc ca98a91e35fb3ded10d080342065919764d6f928 1319434 isl_0.12.2.orig.tar.bz2 0cef7cc58f630e4b4d11cd95c204fcbe2394db9d 15756 isl_0.12.2-1.debian.tar.xz b8fa17093dfc0170ccf424dc4488bdbffeb478ff 451854 libisl-dev_0.12.2-1_amd64.deb 873f8962180fe27f677ce1f53e775c97f34e26c7 917184 libisl-dbg_0.12.2-1_amd64.deb b5f661da38e91281b4a42858185ed6bc4051df3f 436094 libisl10_0.12.2-1_amd64.deb Checksums-Sha256: 8596835c24f052e3b9e087949016c519d987d6dc0e71bea4ba15e241edb1fa2f 1222 isl_0.12.2-1.dsc f4b3dbee9712850006e44f0db2103441ab3d13b406f77996d1df19ee89d11fb4 1319434 isl_0.12.2.orig.tar.bz2 582a3c1c804c9fb430bf5d2f2d5d82aa541704e796bec2389df697a7e80ad5e2 15756 isl_0.12.2-1.debian.tar.xz f4e0a2156ac9cb0dc621a6df1fbca7cb2f9a816f36903ce4e31c46855b135048 451854 libisl-dev_0.12.2-1_amd64.deb 25184909be464f7df02bfe7aaadf9079ca72873ccac3ce0d89303826838d9376 917184 libisl-dbg_0.12.2-1_amd64.deb efcdffefb8cd199279062f96b065a090872edac7485961e138159f81cdba09ad 436094 libisl10_0.12.2-1_amd64.deb Files: 5a528f1327c41cfc9e226eb7e3a3324d 1222 libs optional isl_0.12.2-1.dsc e039bfcfb6c2ab039b8ee69bf883e824 1319434 libs optional isl_0.12.2.orig.tar.bz2 03ed319c9005c1595a1eb7ccc88af057 15756 libs optional isl_0.12.2-1.debian.tar.xz cc8d34dfc3a4c156fc31a4d7f023a1e6 451854 libdevel optional libisl-dev_0.12.2-1_amd64.deb bc6872aea72800e139e91fc6767b376e 917184 debug extra libisl-dbg_0.12.2-1_amd64.deb b0e55f82670565f3e223e0ea7440d4dd 436094 libs optional libisl10_0.12.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlL80qcACgkQStlRaw+TLJyl6QCdHIyAV09bIjA9rty6eTwpMrc/ qm0Ani6vkg8xn0iK3LeUL9aBtB03bvCZ =gXko -----END PGP SIGNATURE----- Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1wdy63-0006me...@franck.debian.org
