Accepted:
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 14 Mar 2018 19:40:09 +0100 Source: isl-0.18 Binary: libisl-0.18-dev libisl15 Architecture: source Version: 0.18-3 Distribution: unstable Urgency: medium Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Matthias Klose <d...@debian.org> Description: libisl-0.18-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 (0.18-3) unstable; urgency=medium . * Upload to unstable. Checksums-Sha1: b4ff5bcb95341f69c34914ab5dc469b32966ccda 1878 isl-0.18_0.18-3.dsc 35c29af43a055ca16a4fa6bca5d438d0245cbf0d 21956 isl-0.18_0.18-3.debian.tar.xz bc863c97755bfa4d09a5025adc07926468075388 5604 isl-0.18_0.18-3_source.buildinfo Checksums-Sha256: be9a6b6b35413be11ac5c74408014bd45944dea00c6ffbd4e32e00e56a755df8 1878 isl-0.18_0.18-3.dsc e254733f1c849ea2a2eb49ccc4d47a1861a68b24b8c6ec2e67c3b2ee6a3880d0 21956 isl-0.18_0.18-3.debian.tar.xz bf87aed729cddfcb8d09b4fabdf9ecc11c5208f01ab6fb8d638db174a8421f8b 5604 isl-0.18_0.18-3_source.buildinfo Files: b1611b81b97a24e3aadf0d87fee22739 1878 libs optional isl-0.18_0.18-3.dsc 1532a006e1e0c96e443444e21b1b7583 21956 libs optional isl-0.18_0.18-3.debian.tar.xz 262d08eb227b7207ef4b739084cf22a4 5604 libs optional isl-0.18_0.18-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlqpbcIQHGRva29AZGVi aWFuLm9yZwAKCRC9fqpgd4+m9Zo5D/4/P7/ZANr96y4eJqzXvlbWEZUtKnJi7yZU OAVFUREkmvA0cf+Ou6OQA7Hc2AHvBlbW+s8k3dSzDbfXOcRhgdNCQsQkQyIB5/op QM8EFdxiaoxzyKArCRWyClkw46BfpRTtNjVoI484mYr2yq5Z/5PL/225yEw///n2 vRklvAMl2Ah8GeigiLtI3Ixfrck05DM4lq/Rz+PNy7bP5JlvHzlJ5e6IgdSdhbxC Vn/R7nCCwv+RO6d04lvompiWHUn0SRAi+iVGFvZ9QnbmCDQCzOK9eCtwqb17haFR DPIjxOv8qXaxUa1DlcdIFBoOsT3SVFCztenfc6H3LlK8tTHoRUPM3lFSGDHzjgUL dHdWgsokiMI4/y2DtDDBqNrDLAbGE/AkKhsIE3oKeMyC8PouqyJSeEGoqa3rmt6H oG/aJgPgRoelkEzXuRdIEbLA3+1CRe192wFYJU8GHWEIuEH4WmUH3kyvomgAROme xGaCdw3wHDxcQmC0wGUkT58X2rvnzItWRy5A7+Hf2/EpBaqgp8cG7vZKxLbYAzhX cCmP0elO6+a4wc26WimzPrnh/SKzN655nQo4rlFy+1SxjocoAiyu+3dECYHcuM1G ldX+Dkft4wo8OxoR6RZp/phvOBPq8vBh/GrtRq4swjRvx2I899z3Hd7wEXWF/Lj/ YOoT7APZiA== =OO8T -----END PGP SIGNATURE----- Thank you for your contribution to Debian.
