Accepted isl 0.20-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 14 Aug 2018 12:14:35 +0200
Source: isl
Binary: libisl-dev libisl19
Architecture: source
Version: 0.20-2
Distribution: unstable
Urgency: medium
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Matthias Klose <doko@debian.org>
Description:
libisl-dev - manipulating sets and relations of integer points bounded by line
libisl19 - manipulating sets and relations of integer points bounded by line
Closes: 905792
Changes:
isl (0.20-2) unstable; urgency=medium
.
* libisl-dev: Conflict with libcloog-isl-dev. Closes: #905792.
Checksums-Sha1:
3f7530f1cf5cb99859e79d5149319ed2128d372a 1842 isl_0.20-2.dsc
0756f1dd2d440b0e1dbc1ebc9ae03db6346b8664 23512 isl_0.20-2.debian.tar.xz
1c36a71f00ca798d5ac4e73de2115dd4b3ff5833 5849 isl_0.20-2_source.buildinfo
Checksums-Sha256:
466b881ac0207f9430ae21069e644f17a6e4428544f9802284727381e5d26089 1842 isl_0.20-2.dsc
ea2b467fea2395ca08f236f520fcc37e50a1c91cad471a9ee89443bfae8f50af 23512 isl_0.20-2.debian.tar.xz
45cdab15737fcc0928caa271855b2751639fecb737e4cca99aae9c4eadaf7760 5849 isl_0.20-2_source.buildinfo
Files:
30c5a19de3caaa32c362d15e41421b22 1842 libs optional isl_0.20-2.dsc
b55bb0a9540fcbed7f1a2994e1bff57a 23512 libs optional isl_0.20-2.debian.tar.xz
7dbc77c128ecd8bf1eab2a8fb0644480 5849 libs optional isl_0.20-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAltyrGcQHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9ZAwEACo7n+z9WSXnxFgo9IYFWsH3WSs+KeL3+Oh
FKkvFgEBQil8PppI9XYLHp2c6rP8/KMG/fbqq7sc4zXLkSzc4T61QgVJnfEy9XPK
L2eCVAT300cvb63ZbZRWCzsOnaLHdY4Df+NGRDPIBI80QZB6J7W+bzf3S0d9v/Kz
F3IRu/iBnxywAZ81cogqh4S0X+BSuE5Va5FbOeiseclY6wtfdgnzhS7Zm+zLqIUH
u17CVSIskt/3J1wBHtC6SwNkDxl07dshja/lL98NchullmCizPTqVjF8PB9lIKzX
MnjBDcNuM1KtJKitFVATRHubd129P6Zz5giTwiWiv7Of1N6xH7gyQcX3kiCabFRw
1Lcc29bTF+9k4BMStMjJ16fMoGlqpJ9XOLGXxIdtdvQ+cj5bENxX4gVYSLn26CPj
BgP1rDtlE2KQe4fNfzbZJvzCZC5sJ3HsehDIfIkW9AJ63C5cTqhhUBvDF6axRSAZ
PQLQ+BsT4fTmLbh+YjZJc3ykQ7oRC1Yx1/mSUg86xucfaZej3OmM90OhQ5LZAYxL
eMdKVGpIV6RchMiQjMqAYsBgBbIc2/OGSeS54YjrsV98pYnuEGVWAiJWCxgsiUKI
vv6IdgtnB9j6urXehKrDeLYZ6erHxG1qtuvjcXGWQ9oFrCUAcc802bCEcp3UKg2N
V4gq3rrXSA==
=x0VW
-----END PGP SIGNATURE-----