-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 08 Jul 2012 20:42:27 +0200 Source: isl Binary: libisl-dev libisl-dbg libisl10 Architecture: source amd64 Version: 0.10-3 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.10-3) unstable; urgency=low . * Configure with --disable-silent-rules. Checksums-Sha1: fbcc166aa64f61511c0522279080ed15461de9a6 1209 isl_0.10-3.dsc 237515e5ab3cb814fbc17082085cadc8778efe6b 3687 isl_0.10-3.debian.tar.gz 6a65e68a9ab5574cb4e696c3bbfcada38116fcf1 528828 libisl-dev_0.10-3_amd64.deb 236826d3e1e9c191fea2e3c45fcb31d2dff33ea1 1034780 libisl-dbg_0.10-3_amd64.deb 05560c5d920fcf8462af9bbef4f75e644b273000 436552 libisl10_0.10-3_amd64.deb Checksums-Sha256: 2d13a31021c1910bd305346ec21560757c8538f5d3c4d60d9c32a6ea3de51edc 1209 isl_0.10-3.dsc f6e5aad37c0edfc7943c4d327bfff4780dc49d6e7184ddc4450a5e466a938486 3687 isl_0.10-3.debian.tar.gz b583d63e3ed2a47f895f31117d6072720ae9f726a7ddfa6755c2c54faa94ae9f 528828 libisl-dev_0.10-3_amd64.deb fd6f6c0bff93356b2132244af4e7f10048f4c5b9b59c1d05a3f4e50960aa1622 1034780 libisl-dbg_0.10-3_amd64.deb 10c7791a08b07b16ab7dd56df36fc12a219175a85e47608bb7a2baf33ae15cd1 436552 libisl10_0.10-3_amd64.deb Files: 3d5f6b65a72838247c5f57b3d4476474 1209 libs optional isl_0.10-3.dsc d2676571db56d02caa49c0cbbcf08da8 3687 libs optional isl_0.10-3.debian.tar.gz 3bd355796017113848fcf1641cf4e4ce 528828 libdevel optional libisl-dev_0.10-3_amd64.deb 1a42f50cec0fad4a14e2b185d0f343cb 1034780 debug extra libisl-dbg_0.10-3_amd64.deb 8239c6b97b683518dd7f22392c416aff 436552 libs optional libisl10_0.10-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk/51lQACgkQStlRaw+TLJyVTACgu5y5C+p+mWz/m3GqtxhJMQaV YQsAn1U5JmGAxibiB/X9aCeOZM1jH5t4 =AsOY -----END PGP SIGNATURE-----
