Accepted ppl 1:1.2-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 26 May 2018 22:55:50 +0200
Source: ppl
Binary: libppl14 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source
Version: 1:1.2-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Andreas Tille <tille@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: 897098
Changes:
ppl (1:1.2-3) unstable; urgency=medium
.
* Team upload.
* Fix LaTeX build
Closes: #897098
* debhelper 11
* Point Vcs fields to salsa.debian.org
* Standards-Version: 4.1.4
Checksums-Sha1:
1b49f7d4d2c2df41e7fc107156cb8464600dbf28 2345 ppl_1.2-3.dsc
829dc0d311351e9fb8c2778a3cca4c808ebf25c2 12176 ppl_1.2-3.debian.tar.xz
Checksums-Sha256:
6696819bde3289773ce097b435604fe344ea3977d5174cef4efe41440e45b703 2345 ppl_1.2-3.dsc
e262695455babc7526e18abc67632a9e7db57d47789a14324aebe7ce8c5b2a1a 12176 ppl_1.2-3.debian.tar.xz
Files:
0d7308c1a1ef96d718263eb3d1bc633d 2345 libs optional ppl_1.2-3.dsc
31ceddb71f7aa993fba9c73146f8dc58 12176 libs optional ppl_1.2-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJFBAEBCAAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAlsKNxoRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtFLsxAAm+HTPYXvcRhhBedPudzBLYorQBbIR//5
NG8blBlv4Sd8DHgXE7jAoB784H/ZbcooqafmcfNgF4yV35+DeLhSJSSY+GR9SHVW
2yEQvsC8zhDf+qzU4rBCp5l9ogz8B5CzQdPDFgymTNbVIyz8CiHMIeSIb3yrqBZP
KzQL6z0hz1i2zO8tfqpXeShkP6lAGb7qVviNlZvRQex4PqieTQspYJj3bXabSac1
mbDucTxE7RRhq+UH2x3y4siN2V319wTuLdIiSe+uhYesnQKhniME0qMVJoM830DT
pztOYWTtycmneHvL+NB4FwW2v4xxuytLZ9442cbDv/CRQDZY+3KCc3FgAz7HZpYm
jxT38VPWmPzezkR9vDCBJe23uGUMn1tjaDt33pRmAuYwtIGSwcVz7P1NS9Sh0oHw
RgKQcM9o3Sgo8ET00BBkTxLC6JAvzILg3nKovMoS+SZLSkZe717wpKLu33xxemIY
dqwk/V3ha9bLhRNbSxJp5WlProdd76Hw77sKEQt84/ybbseuI14hJWCG2Cn/OBwS
Rkr/g0rxnkf046FQ1afGiEuqEQRVohxbLqA7O3UWYloq9B8vCeZOKJD+qEqDH7d1
ssBlgPd7ipgywhz9I+r51Zf8IpURSwdVCKkBDi8b0CyQuX3epl7NFS3ARJ7v86c/
65afm8j/wzk=
=V9cD
-----END PGP SIGNATURE-----