-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 3.0 (quilt) Source: isl Binary: libisl-dev, libisl-dbg, libisl10 Architecture: any Version: 0.12.2-2 Maintainer: Debian GCC Maintainers <[email protected]> Uploaders: Matthias Klose <[email protected]> Homepage: http://freecode.com/projects/isl Standards-Version: 3.9.5 Build-Depends: debhelper (>= 7.0.50~), dh-autoreconf, automake1.11, libgmp-dev Package-List: libisl-dbg deb debug extra arch=any libisl-dev deb libdevel optional arch=any libisl10 deb libs optional arch=any Checksums-Sha1: ca98a91e35fb3ded10d080342065919764d6f928 1319434 isl_0.12.2.orig.tar.bz2 6b852b2e62160451e2b8b8d37d01e345780f6cee 17296 isl_0.12.2-2.debian.tar.xz Checksums-Sha256: f4b3dbee9712850006e44f0db2103441ab3d13b406f77996d1df19ee89d11fb4 1319434 isl_0.12.2.orig.tar.bz2 b91528d5f201c3883f0d57b0c2a44985a933c9e50836ca98000d3db9377784b1 17296 isl_0.12.2-2.debian.tar.xz Files: e039bfcfb6c2ab039b8ee69bf883e824 1319434 isl_0.12.2.orig.tar.bz2 a968a3be41f0836769ed6a67a869505f 17296 isl_0.12.2-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlOq1ZEACgkQStlRaw+TLJxeJgCeLucIAOu+jJZNCn5rMWh5TuND dWkAoKNTxpHSRzTptthx31exXT7O9zNi =CSMO -----END PGP SIGNATURE----- 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. -- Matthias Klose <[email protected]> Wed, 25 Jun 2014 15:35:38 +0200
