Accepted isl-0.18 0.18-3 (source) into unstable
-----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 <doko@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-----