Accepted isl-0.18 0.18-4 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 15 Mar 2018 05:53:30 +0100
Source: isl-0.18
Binary: libisl-0.18-dev libisl15
Architecture: source
Version: 0.18-4
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
Closes: 892933
Changes:
isl-0.18 (0.18-4) unstable; urgency=medium
.
* Update debian/copyright (copied from isl). Closes: #892933.
Checksums-Sha1:
775676ff764599e3e1547272a51c349c8be55e9e 1878 isl-0.18_0.18-4.dsc
5c7d9217afa12a626fb0b9226913f9e8d4522514 22220 isl-0.18_0.18-4.debian.tar.xz
61fcc82100bf0d76fd704a756ecad43787b198b9 5608 isl-0.18_0.18-4_source.buildinfo
Checksums-Sha256:
b93886eeda25761ecbfb4b33514b3eab9ac6a58e8be03693154f0873ae4d322b 1878 isl-0.18_0.18-4.dsc
d24372925cf8baa49d8f1d012087049bdd1394a2c525a6ce0d0f853977ae9560 22220 isl-0.18_0.18-4.debian.tar.xz
212df3726e6b1b5bcacb409925b6e6bf2c7fc7e51324f4f98b17939240d013e0 5608 isl-0.18_0.18-4_source.buildinfo
Files:
daadc0dff2aa738515e1b9d772089895 1878 libs optional isl-0.18_0.18-4.dsc
d816a8f4e2ee9fe55809f8683d2f78e7 22220 libs optional isl-0.18_0.18-4.debian.tar.xz
9c3d53ea6bc64d45e92b04e3a4fd39b7 5608 libs optional isl-0.18_0.18-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlqp/JsQHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9buPEACTvnD3aLPO1fR/vV5NU3hstR9/FK+21dLd
dUItkZhTV5sJ2mbCcO1yVkLPEyXUN/aM/le/I1a1kY0N9sYM75QCotwZU4RzVcvP
KtnYCMqT10QXbT1cactyvQ+28ECWtJQrtesPsiNvVxsF0A6xxeE1nxJzjWc5I7h2
Ksiqu9lxCBQK7gHXRamrYaU6ZYw9XE9TiQe/UP242Yas17DXtPkwgwa5oNqRJkLp
nW2RhITnO9EpvcCjnGbnGVBx3fXK7qLFowConnDPxNhLcPz6RiSVWiXTDZUSME22
o6ljSTxDcH+2zcSPXPnpS4cAsGIO9XwXoD8bLOghuBQS7kc+9KoRt0Lvtu14vysc
HzaFsyF79CIGAH7wpw3NsD3vbdGb5sej/9Tyokl5S8tzvAC9FG3IATry+oL9m9BJ
FJOuRsxapradrt6+nN3/gP/3DBbti4CfOf4Yu3RzpKmJLvYY5kLya/QHP5jU0mHX
ZMPD4nAryhs5cX1uIXBju7ImgbXQAjcKB06UhMRI8JawYgrlQ+sam/Pjh+n/1iEw
Uw15O7z7amQODG0SjOcKTOzNSfQ1BB6yMX6kvgjjggJxJkb22luKh/oP2qsn/lCZ
mgoenUHSOxKWMl/EyaYo1KHAuVb9I0V3LgDiGDkwrZmIpKCrQDl7LWMWVd6DGVrx
XOSuzVP58g==
=fJd9
-----END PGP SIGNATURE-----