-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 27 Jul 2015 19:25:08 +0200 Source: isl Binary: libisl-dev libisl-dbg libisl15 Architecture: source amd64 Version: 0.15-2 Distribution: experimental 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 libisl15 - manipulating sets and relations of integer points bounded by line Changes: isl (0.15-2) experimental; urgency=medium . * libisl-dbg: Fix dependency on libisl. Checksums-Sha1: 888655a4816e593235f203e7b9feabb78793e979 1854 isl_0.15-2.dsc 45578247bfb04cb2e883b3640d4d8f1580c5994d 20824 isl_0.15-2.debian.tar.xz 57d4385860387d9529678707ebccb1f93491f15c 1163392 libisl-dbg_0.15-2_amd64.deb 4b1d313f8f50198b17f19731617c460114e6a5bc 550022 libisl-dev_0.15-2_amd64.deb 346b104628d146fe6ea47a8146b75d51b5becd9b 533356 libisl15_0.15-2_amd64.deb Checksums-Sha256: 16f01d1dbd78374cf90f78b7699758a5abf7fa79729f831133709899e621e2de 1854 isl_0.15-2.dsc 8f19b4a6aa950c3d9cf84e8ea29788b84d717688d203a0d343b0df39e4f06c5f 20824 isl_0.15-2.debian.tar.xz c28c684607b0b900884d014a689abc74fcfd300dc6b0cff5f99fb7759764ed97 1163392 libisl-dbg_0.15-2_amd64.deb ff5ed1bb16d758c66fd0ffaf72e67bb3dcc1991354bac893a0ed902b96117c2f 550022 libisl-dev_0.15-2_amd64.deb 72eea8b690967c7cd9c28a351b979862857e88b21a5d2a52af60c0627501698c 533356 libisl15_0.15-2_amd64.deb Files: 8323c5a13bb63f1a1cb0049c4416c828 1854 libs optional isl_0.15-2.dsc f93c73704ea59c5df03a88de7012b2ec 20824 libs optional isl_0.15-2.debian.tar.xz f76fb9061035c1fb2a6a3da23d1f13ed 1163392 debug extra libisl-dbg_0.15-2_amd64.deb c12909925e3bf22d121d960e4a439426 550022 libdevel optional libisl-dev_0.15-2_amd64.deb e6148e92a9cf9267b43ce7feaddb4c62 533356 libs optional libisl15_0.15-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJVtmpPAAoJEL1+qmB3j6b1GOIP+wZGh6hXRjj2bmbAczZ90dQ8 XlNfGkB/jPipZlaNPm/jMcmNrAInpAtvbPho9JjfuzXHTaf0wOt065nVDAXgJHdM 3xURwZZ5lNVRuVZzEtJ2CwQS0T68W9S8sX4IsbDHWoO8jsDXXom8rb0ZYyygHHUt dVpEIvYtU97hRYUTCwLMLqAYGSPVj+mC+lG6r7rc6jkRf7pzmGFrVuGXo1VlBEKK HUZkrQHpfyCSZCyb9G+CSy9LbUDDXl+2grKlXl2Wy3XzLDMWuO2n/p5UYOppRZVu idT8s3Eo9jbG2g2D1YG6bmexBVitR0ZelSZclf99NP6cXviXztBsHEpuF/ImecsR C0bKKjMMpeXZ0zhG1s+2BrXCnkYM4SKqyHMk7gv/Y2iafjRJApLhqbj6ZWLqkVwf mgPmziy0VYkCENlbmKHaMMsWkfD3GtMKqeENHEQPWrKrzOJwhWr/b90jfsQ1uSsK PaBfIht1RlZlnX1llivY38HHyPQ3wB1ct7gyXlJRckQ47LUQGc9Xb4JLQUg6q6aP gD/N2Zk0k6mgMLOPpFjy5Ef1A11fwBZgnub7uhfYg8vc02yxi0oA5pY05jQO4DFY ySAmygSZkv7kpYb+cZ7UWNRleTk/nSaNdUe7PZ+TCGsS7a/hAgXrzUL+kCegoGs3 E3I149U+z1Ei9C96pYIx =BDpe -----END PGP SIGNATURE-----