-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 25 Jun 2014 15:35:38 +0200 Source: isl Binary: libisl-dev libisl-dbg libisl10 Architecture: source amd64 Version: 0.12.2-2 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 libisl10 - manipulating sets and relations of integer points bounded by line Changes: isl (0.12.2-2) unstable; urgency=medium . * Make the python pretty printer file compatible with python3. * Let the python pretty printer load the library by the soname. Checksums-Sha1: 56e74385248113d63e3602af19e86bc73b7fb380 1245 isl_0.12.2-2.dsc 6b852b2e62160451e2b8b8d37d01e345780f6cee 17296 isl_0.12.2-2.debian.tar.xz 1e08d2f20faa887a16422c8db29789fbc5270d97 456208 libisl-dev_0.12.2-2_amd64.deb b61d0254cfd68339e43b79d43a6e6ae81bc6190a 892878 libisl-dbg_0.12.2-2_amd64.deb 2bf1716f5969e66a86ee2cc8c70082fbc2529719 440072 libisl10_0.12.2-2_amd64.deb Checksums-Sha256: 7c6f6a2baeb9ca7f5501fe2262d8e6e28772a4cc19bd1455ee5df6e5b6a60322 1245 isl_0.12.2-2.dsc b91528d5f201c3883f0d57b0c2a44985a933c9e50836ca98000d3db9377784b1 17296 isl_0.12.2-2.debian.tar.xz fdac493d1d9efe20f76fd2574d95fbc4a995efe1c8f9e9dbb3ac099e2951f14d 456208 libisl-dev_0.12.2-2_amd64.deb a5f8236283d9dc209a8ec24063f972e0ff174e852eea723988892339f5783701 892878 libisl-dbg_0.12.2-2_amd64.deb 5a091cf30221e183d319f4906a746043be7220061f3b742b2ad958ee79ac01f7 440072 libisl10_0.12.2-2_amd64.deb Files: 2daf4f8171daa7433b4e8518e3a67b4f 456208 libdevel optional libisl-dev_0.12.2-2_amd64.deb a172092ec80127526aed975fa4edb17a 892878 debug extra libisl-dbg_0.12.2-2_amd64.deb 501ebf64dbaaa4c1152eb60328f231f9 440072 libs optional libisl10_0.12.2-2_amd64.deb 29521943043831370a8627fd38f0a11b 1245 libs optional isl_0.12.2-2.dsc a968a3be41f0836769ed6a67a869505f 17296 libs optional isl_0.12.2-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlOq1ZYACgkQStlRaw+TLJzHhQCguGOGpGnJRxnKc5pv5R/YiSPc IggAn29U9WK21E3EPyo5+V/MlYPV+jls =+4MN -----END PGP SIGNATURE-----
