Back to isl PTS page

Accepted isl 0.15-2 (source amd64) into experimental



-----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-----