-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 01 Jul 2012 12:45:46 +0200 Source: isl Binary: libisl-dev libisl-dbg libisl10 Architecture: source amd64 Version: 0.10-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 Closes: 658841 679464 Changes: isl (0.10-2) unstable; urgency=low . * Complete copyright information. Closes: #679464. * Note about stdint.h generator differs among architectures and breaks multiarch (Gregor Jasny). Closes: #658841. Checksums-Sha1: b94858e77a3aa827556e8cff38fe03b814c6ad0b 1209 isl_0.10-2.dsc 9af796a1a8b0bdd2d36d209df0d74a659052ab75 3638 isl_0.10-2.debian.tar.gz 3e1eaf0ab1b8580fc5373bd90080928109797fcb 528828 libisl-dev_0.10-2_amd64.deb 6ab8f19893322bc23a70447ff683e135eb565b8b 1034750 libisl-dbg_0.10-2_amd64.deb 809b80f98545deea2d51de51ed95a0e000f67bef 436528 libisl10_0.10-2_amd64.deb Checksums-Sha256: ade529225bebd31bf1c5bedbf55af268bc457a2eaa097e362fa22263a782b0a4 1209 isl_0.10-2.dsc ae8c7ac6b58fe556f9837e63b0ce6dd20e00668aa418e56f51a5323d3528a4fa 3638 isl_0.10-2.debian.tar.gz a7fa4eb23bfd4407389c6bece6087cfd5164d9c72928a7aa5bf3b2d26bc81925 528828 libisl-dev_0.10-2_amd64.deb 859af4e32c5071779b35159a6da41b51e7efc9a6132c23f5259a43ef589ff813 1034750 libisl-dbg_0.10-2_amd64.deb 3a69ca6522399a2df1bf51068cbcf64b71b5a209b5a7e7f10709ed0f5d17fa02 436528 libisl10_0.10-2_amd64.deb Files: 0240b7f704caaee5958a69f500be822f 1209 libs optional isl_0.10-2.dsc 5d9263703c6b677ece4c3c16035be8a8 3638 libs optional isl_0.10-2.debian.tar.gz 89c5e72a68bdbf963d6566926e65b837 528828 libdevel optional libisl-dev_0.10-2_amd64.deb 6d4c5f800df5fa31b38610c195c19e4e 1034750 debug extra libisl-dbg_0.10-2_amd64.deb 5e18cc7afe8219d2dd845b5680e23a4e 436528 libs optional libisl10_0.10-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk/wNqIACgkQStlRaw+TLJxHJQCgh89ymfrXk2/3/EHPLgRn53TL +fIAnjSQZz9V541aBz2OF5bwqlKfjgQs =NARt -----END PGP SIGNATURE----- Accepted: isl_0.10-2.debian.tar.gz to main/i/isl/isl_0.10-2.debian.tar.gz isl_0.10-2.dsc to main/i/isl/isl_0.10-2.dsc libisl-dbg_0.10-2_amd64.deb to main/i/isl/libisl-dbg_0.10-2_amd64.deb libisl-dev_0.10-2_amd64.deb to main/i/isl/libisl-dev_0.10-2_amd64.deb libisl10_0.10-2_amd64.deb to main/i/isl/libisl10_0.10-2_amd64.deb