-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 24 Apr 2015 14:36:08 +0200 Source: isl Binary: libisl-dev libisl-dbg libisl13 Architecture: source amd64 Version: 0.14-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 libisl13 - manipulating sets and relations of integer points bounded by line Changes: isl (0.14-2) unstable; urgency=medium . * Upload to unstable. Checksums-Sha1: daded60e3767d585df4ab3267de17e830d0e8bb7 1854 isl_0.14-2.dsc 33b7d82ef2d8a3b2dbfec9b1951eaaa574333fc0 18584 isl_0.14-2.debian.tar.xz 64323393503383e72c87c3e13fa5264b3523288a 484536 libisl-dev_0.14-2_amd64.deb 922cd358c5954ddc0d50da8551f5519af67d433b 954922 libisl-dbg_0.14-2_amd64.deb 457c64e04b0e77dfd6adc129f20542f1b079635c 470808 libisl13_0.14-2_amd64.deb Checksums-Sha256: 7cfa1d1c60e3a1bda069109d36d8a43e78d9784281b201b677a27df8ea819c04 1854 isl_0.14-2.dsc 1ee15a6e96cb89e8131341660fcbedf008bb9aacc1a7aaf821fc4e353cf192fd 18584 isl_0.14-2.debian.tar.xz 39b624f66c0ff72233728702376c56952c4a15722ac6b9fdcd470d877b04181d 484536 libisl-dev_0.14-2_amd64.deb b45a332e9fdba28d0e91dec4525bcc9ffec22ead2ef1d2d7d2d01832c0ae0f79 954922 libisl-dbg_0.14-2_amd64.deb fd2f2c02153ea8022eac627868cf9ca25ff03dbe3983423d966c7bb387e80680 470808 libisl13_0.14-2_amd64.deb Files: d094135f0e186382a66557bdc6f0df04 1854 libs optional isl_0.14-2.dsc 77d386095e81f3aab374dce8f592fcd2 18584 libs optional isl_0.14-2.debian.tar.xz 5948c71d6df7501447317e42c1278c9c 484536 libdevel optional libisl-dev_0.14-2_amd64.deb b26b89306fa57ba3655b9dfcdc2ff903 954922 debug extra libisl-dbg_0.14-2_amd64.deb a7a992ff7c30395361218bdc8db1fa08 470808 libs optional libisl13_0.14-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJVOj/NAAoJEL1+qmB3j6b1TV0P+wS/E0zfeTLNH29aU1wChtt3 sXPI0o5x4N2kjps+lFyizFH7NUFDl1NgiIbmkCwWQrs0Gel5D09Lvp5pFrYOEm56 RdicCQZK9w8kBaZ/v+6CqrBUsfBeHJPRCPI/aKCqPANMCIn1GOBsGheb+Vbr8yw2 b4S/kGrO8QWxd7y3T9lKB3W6JlwpkTBIT6DwSQ1NP+CEqmW5iPxF6KLQC4LjfX+8 zcZ36GKpBUV4mXDTyRoKzGvgXAyikUDvepyfWBTfk+m8LMImHjiq7Gz7fTaYvBlM dnu8l0P3JyeWPxjmNoQbzGXw05AUxHm9kwPzm7HuEJ1aritnjBTFAUcdHSMIXa7p BLHncngFT5w/ntqUmvkgFxAg8CXq5kWWG67YaL+/YDD2DrbYkgjVHwiiLjElFuds S94kiAIqhURIER8Z3vBEYJNt9k073X5kA/hpwgQvc9hbpYLT5ve4BPMZnZCccpre wXyHbsZ7xCTX/YKduNfRDDzTLPUVPuQN0yGDUteDOkWGQIVinLeHPEhP0B3/vYaH uILs8RKZWvfX7J5t/nJLzMoAADvQFTf06I71NSPl6F+nGvMFuSoRxZVuO0XHHm/v 1is2xd+tt9zqrCT5RVA9iEvX4WuTxZIVw/VrHl7C28mZqP90RNk+WEy+QDt+YTUJ YjwQ3SjIvrh2ulMhiL+O =pNDs -----END PGP SIGNATURE-----
