-----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-----
