Accepted ppl 1:1.2-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 12 Jul 2017 17:54:54 -0300
Source: ppl
Binary: libppl14 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source
Version: 1:1.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: David Bremner <bremner@debian.org>
Description:
libppl-c4 - Parma Polyhedra Library (C interface)
libppl-dev - Parma Polyhedra Library (development)
libppl-doc - Parma Polyhedra Library: Documentation
libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
libppl14 - Parma Polyhedra Library (runtime library)
ppl-dev - Parma Polyhedra Library (development binaries)
Closes: 867100
Changes:
ppl (1:1.2-2) unstable; urgency=medium
.
* Team upload.
* Bug fix: replace build-dep on texlive-math-extra with texlive-science,
thanks to Adrian Bunk (Closes: #867100).
Checksums-Sha1:
f619e1097848b953a62030c5e6d2ca04ad3a88ca 2221 ppl_1.2-2.dsc
2575dce7612a7b096aa62d6bc17b31f898e9bcc9 11812 ppl_1.2-2.debian.tar.xz
044b51a00850429600044bd7ff3303f6697482f6 11518 ppl_1.2-2_amd64.buildinfo
Checksums-Sha256:
8aa872b742797b588cfa1d01b8f3faee2749b7c008756cae91620f85017adcba 2221 ppl_1.2-2.dsc
023541d532658a8d8689914f657b7bc8f8ff2a41f3c959843038048b76383d0b 11812 ppl_1.2-2.debian.tar.xz
1b4759efe4cbf932f0b5462b69cb40b2899c6ccffde15952ee344770a699e9bb 11518 ppl_1.2-2_amd64.buildinfo
Files:
cb18d5ad923a03adc6188d2bab0ba0c3 2221 libs optional ppl_1.2-2.dsc
c0558f49fb432cff7282be5868da5fe2 11812 libs optional ppl_1.2-2.debian.tar.xz
7cef379acd774ba7e81f77a2fa771a18 11518 libs optional ppl_1.2-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQGzBAEBCAAdFiEE3VS2dnyDRXKVCQCp8gKXHaSnniwFAllmpfwACgkQ8gKXHaSn
niwfogv/R9sF+EoNBxA+5Dx5nnU7OpQ+Z7GhtEnCB3LVExWUkpedzitU/RGa/OG0
ax39fNEtZSiz7cLItSUYsBSOy37xWqYAEPzBv6j/rSScNz2te8QRIM7BriTYv+kj
QXFNHTsbwPmag9fcfA2MduXtx1WfSlF69gBPtjUv/SvatrAxvd+wF7wxKzlboOID
L0sR4WKpnY8bzetTFQsPx+mQV6Vsv8JH//k0rRygr0Gw+pTTxYQSuS/L+Yo2wvJv
bqO07HJc5TP5dc+JP9ycW8RE9fvGcDLUeK5g5bscqnasR7qyWF8aVP25R1KRLM1H
FlLF7FSoOR/q3cJSbklCRtjshHmOZkIFZ2rIPlSXueq+yYzIwDtkBQODoyXEjIwe
t7G0K/JM9q35GoLYIWCUmwZDOfjR20/FPInyC0/94rJkLeW3aIx5Hup5q9CJL/6E
xFDF/VpqNIJOqQNFo/xb+MvHQHS4ebRsEy/itWh3UlQmHLF5kpIsYZwe45P5BvPQ
BNUHtj2Q
=5CKB
-----END PGP SIGNATURE-----