Accepted isl 0.20-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 03 Aug 2018 07:17:23 +0200
Source: isl
Binary: libisl-dev libisl19
Architecture: source
Version: 0.20-1
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
Changes:
isl (0.20-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
8a4d1dede779565e48f5356441d250276fda9932 1842 isl_0.20-1.dsc
1cb65006e8b047a52534e9a237748e56cfbd2754 1539064 isl_0.20.orig.tar.xz
9fbaf26e365ff04e932afa0ac67af4b609eecb0d 23388 isl_0.20-1.debian.tar.xz
f292134f27d2d45f2170c682b6725a88ef6a916e 5841 isl_0.20-1_source.buildinfo
Checksums-Sha256:
c66951276948a738e30a6762251504ebbf157ceedc46babfda7d5a70318c8cb2 1842 isl_0.20-1.dsc
a5596a9fb8a5b365cb612e4b9628735d6e67e9178fae134a816ae195017e77aa 1539064 isl_0.20.orig.tar.xz
6d39736c454b34d07a96abc5eec7c2355d01a9ecf9d2b34581d530bdbf1aff23 23388 isl_0.20-1.debian.tar.xz
30c20341477ae2082504c4699e89b7bf5f5805b73bd79de1845e9abbf29d754d 5841 isl_0.20-1_source.buildinfo
Files:
5cd4e0973c7e889ea2ed6a8f9863f0f1 1842 libs optional isl_0.20-1.dsc
2ee25141b7d1688afb63e5bf3ac12999 1539064 libs optional isl_0.20.orig.tar.xz
916b2814a0f5d408d05464e65f9cc3ca 23388 libs optional isl_0.20-1.debian.tar.xz
3a949f98f84c7ca601e0e1dafddac9f7 5841 libs optional isl_0.20-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAltj6gcQHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9XfDD/9pZd9Fi+Si4WfprgMUCchQcurR5LY8ME+s
Kz3tq7W1RSSNFfVXgLs2u1KdIV1GyVM2u+qO+J55qTijPAuRetJBlTsMGGIEycN9
thXeZ2+yTYFeDkuyOy0v3sIuasVWx71MmsBliWeb1AB09HQUNk2ua5+Vxlra03S+
WKIRakQ4xQbGyYBAgjtvDqJebBt7artCoQpZXgi0+PFf2z9JXoY0VNSe4+iERU7b
sF6+8Rzau5+VTnU3WTvDXSOi9kdp09rbY3MXSroT58IgeA272oYzhYipSP5kgC0H
ouRcbegQRvwaj/Ip+NOrMCuIdlMfNlndAvWH5ISkArtoMPCzTwgGDAGfSWpqygu9
p1t85w4zOxb2QslS8X+CjIYioFvM+rAhVx4cDaBvv2c7xp27c2Ea4j7VUCJXqMWJ
2/PdqrEgT7qnl9vUXFiw/h05Atj/KE0t+h2Kizp09DDR7QoR3XNp0wQv1p7m7Z4X
j4fJ584R5yXnd6KZXQ2D1WONKl5bF50eJDcN+t91dYoTTvfutrFkbE7NlAygCBeS
7Grsa9kgQyLAcVKCxYJuF60Yx0OFJQzEMMLukFGemECIV5h7ERBIyIo2LW/otQr3
DcMG1Ic/4SmEXcTdkughpCaiM/Xi251eEU+kOW8tKXa3PPYf4QbqPlizetThLVsS
pqO0K5j7Kw==
=gv+J
-----END PGP SIGNATURE-----