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