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