-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 17 Oct 2013 15:30:11 +0200 Source: isl Binary: libisl-dev libisl-dbg libisl10 Architecture: source amd64 Version: 0.12.1-1 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: 682352 714830 721854 Changes: isl (0.12.1-1) unstable; urgency=low . * New upstream release. Closes: #714830. * libisl10: Breaks libcloog-isl4 (<< 0.18.1). * Update symbols file. * Build-depend on libcloog-isl-dev (>= 0.18.1) to make sure that the cloog version compatible with isl-0.12 already is in the archive. * Use dh_autotools-dev, not autoreconf to update config.{sub,guess}. Closes: #721854. * Update project home page. Closes: #682352. Checksums-Sha1: 3e492cd6a69bbaae122a6dd42c28d8697733fb66 1255 isl_0.12.1-1.dsc a54e80a32bc3e06327053d77d6a81516d4f4b21f 1305540 isl_0.12.1.orig.tar.bz2 fb0aedccb2e38c9dde20a7fe42dffee3be4b7ea7 63976 isl_0.12.1-1.debian.tar.gz 97edec7030fb769406cab587369b10b39b2595c1 453224 libisl-dev_0.12.1-1_amd64.deb e5de37aa47d808f02a92c0b22f0e1216ee42c70d 916722 libisl-dbg_0.12.1-1_amd64.deb 3e609558eb295753741f4d49977eda2f91e28f7b 434462 libisl10_0.12.1-1_amd64.deb Checksums-Sha256: 458024deec4a3da3246c4f2c8915df273d23e70ba23f4f121d61cebbff69ba1f 1255 isl_0.12.1-1.dsc 43ba8a43c3554a72a7e9e0d913a52dedbc0d712f472f3e62d239517bdd53e7b7 1305540 isl_0.12.1.orig.tar.bz2 65ee1426273df73541e1250ce7fca280df4e1d7f32ddf7f447df717e497f3fc2 63976 isl_0.12.1-1.debian.tar.gz 4e218b6caafff14637ea85e76a1429201e0e8a6e2a8c4bb3d91fc59489632e85 453224 libisl-dev_0.12.1-1_amd64.deb 7e54ce024ad982683a74a828f2e92813f62fb5bebebd019226c937596a0a3a70 916722 libisl-dbg_0.12.1-1_amd64.deb 063623fb8c8c9dfaa8eb95fe713e58e5dd69ac578f08ee2d36d361fde1a40b63 434462 libisl10_0.12.1-1_amd64.deb Files: 6c73b3b8c07c75f3d9686cbb08f170c4 1255 libs optional isl_0.12.1-1.dsc 27d381085ff1b5733c3e8a9b6ad24a4d 1305540 libs optional isl_0.12.1.orig.tar.bz2 bcb2b9afd657071b45ea7fee2200753e 63976 libs optional isl_0.12.1-1.debian.tar.gz e1ab9a52038d5e09de17507008240278 453224 libdevel optional libisl-dev_0.12.1-1_amd64.deb 7865f8cdf67ab3230b0790fd77dd98bf 916722 debug extra libisl-dbg_0.12.1-1_amd64.deb 6f8eab98a9224619a745af3433528474 434462 libs optional libisl10_0.12.1-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.14 (GNU/Linux) iEYEARECAAYFAlJf+n4ACgkQStlRaw+TLJxK8QCeJbIWKzUOxRWwwgaFYnXJaJ3H a1kAn1HLHLWHRe2EQT9aiNFxqFVMWgiV =qLnM -----END PGP SIGNATURE-----
