Accepted isl 0.18-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 05 Jan 2017 18:50:41 +0100
Source: isl
Binary: libisl-dev libisl-dbg libisl15
Architecture: source
Version: 0.18-1
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
libisl15 - manipulating sets and relations of integer points bounded by line
Changes:
isl (0.18-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
b9238f30ec9d2477962d638b53d9abb26a55a15b 1882 isl_0.18-1.dsc
13237a66fc623517fc570408b90a11e60eb6b4b9 1475708 isl_0.18.orig.tar.xz
26855d317bdec5d47260d4cb9d754528103b925a 21860 isl_0.18-1.debian.tar.xz
Checksums-Sha256:
aed8295d019805686fd795652d930b1440bc0ae3be4373332d97784645d7c583 1882 isl_0.18-1.dsc
0f35051cc030b87c673ac1f187de40e386a1482a0cfdf2c552dd6031b307ddc4 1475708 isl_0.18.orig.tar.xz
eac951311a871bb6d7886c98068290f771aaf78616516855b472d2500b84f53c 21860 isl_0.18-1.debian.tar.xz
Files:
f1f881be2c0b2e157d5b45bc031f62c4 1882 libs optional isl_0.18-1.dsc
5337cd4c29101fe8e8e1b0f5948f91e2 1475708 libs optional isl_0.18.orig.tar.xz
45713c0519b6410246f1c28734dd5deb 21860 libs optional isl_0.18-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlhurX0QHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9XrZD/9M10iILe/TGsunAGxDf4LbH44Nfxks6iLv
y80lCCtSjhButGBbKdvn/PNSZXf/Oo+YrpkOnnNBko9K8lZylrPYPJleI3DFAkxJ
aGYK37S/RHjgnNufapTO3iWYIiTOJyj3GgwuangMkreOZnePGIElAz+JQKDA0K+7
X865WzAsIhWr1oJM0waI+0cnMSqP9Wfyen49TAVXEYrXayn7cUuJgX58TV9as3Q+
LnMkP9l2BXgXgfzb3RP+YamA4ObXLHH4yc9Fmyf9YbZYru3pD06bbw6p2k9If2CO
ZO1qzX45LqUL0E84vkfIIxQxjHtt8UnxV1hp8T9+63T56tcmyfHQimc+xuqxoVA9
HQemP5WLPc/zJ7Z4CtfdDLcf7ahH9tfRevg2DzC3ymvDmoZ/Kvo9aA7GOasjAWPw
5DvdVlGK3RUm8rEg1qte0r7IXdIQBrb5O3ucv6d893Ogy35olrYIVzdyRovtODtq
I+QB5U2HJTYqqqi3HiB79IFu2/af5Sxutt+WT1Iq0XvIHe7GmpHUZbcHn7CaKLiX
Z8QbOuiauIyrUCpjV1/ITMnNCF1A2L2UoCLd+eOedH2AxPjm3+1Om+Xkk0VJL2Td
uQO2hWVVGSfd05L2OkgYeTZ+qDeDp7fb0U6Ai1tekrYzz0hXVyq/cA4/WdgxUeG+
ogEbvxBRLg==
=QT5z
-----END PGP SIGNATURE-----