Format: 1.8 Date: Wed, 03 May 2023 14:22:15 +0200 Source: ppl Binary: libppl-c4 libppl-dev libppl-doc libppl-swi libppl14 ppl-dev Built-For-Profiles: noudeb Architecture: amd64 all Version: 1:1.2-8.1build3 Distribution: mantic-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Gianfranco Costamagna 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) Changes: ppl (1:1.2-8.1build3) mantic; urgency=medium . * Rebuild against new swi-prolog 9.0.4+dfsg-2. Checksums-Sha1: 4e41fd5394460e73531f1238a1579b69700871b6 8853100 libppl-c4-dbgsym_1.2-8.1build3_amd64.ddeb 2de3158a812363587bccc599460f4aafe8c9bbe7 921034 libppl-c4_1.2-8.1build3_amd64.deb 8b2478c8cc05896110094a7135142df819016d87 1844712 libppl-dev_1.2-8.1build3_amd64.deb 206314d4a92f393d1a7c14e9cde114f2880b7aa9 6516550 libppl-doc_1.2-8.1build3_all.deb 158437e9bdc05ccd664c34a3c50c60e8ba5b80c2 10462764 libppl-swi-dbgsym_1.2-8.1build3_amd64.ddeb 50474fb20634b28c528afde9397742330bca0dde 2582064 libppl-swi_1.2-8.1build3_amd64.deb d6ecb8ce84d887d6e6fff102a6387fdce8f76893 6208904 libppl14-dbgsym_1.2-8.1build3_amd64.ddeb aa0899fd3e2d25ad8a823c085fd22987f86bcc7b 408628 libppl14_1.2-8.1build3_amd64.deb 720180bc951e1d8134f55aae5b4dd8bb52e27a80 49280 ppl-dev-dbgsym_1.2-8.1build3_amd64.ddeb 546b98c71a51e812d342ee7d6cc2d7bbc9b0edf6 38194 ppl-dev_1.2-8.1build3_amd64.deb 45f43ea555e90dfce1f5e6c6bbc1593d00a73478 13197 ppl_1.2-8.1build3_amd64.buildinfo Checksums-Sha256: b5dedb9b7d6d748fe17ce72711c745d9cc42195d8d6fa5db72bd2d8f37dbcbbd 8853100 libppl-c4-dbgsym_1.2-8.1build3_amd64.ddeb ec2ddd3605259e6adcceaa725d67197593d1568ccf326fbe2071448e069670e1 921034 libppl-c4_1.2-8.1build3_amd64.deb 669ddf3b30ea25ef767cf577a4d4a5c38629ae836592b605677131bc1216a58a 1844712 libppl-dev_1.2-8.1build3_amd64.deb c8f1428df10ef09c3e2d75e7420a7f07f8c43c0f54b0be2de41a1d2fdc6df10f 6516550 libppl-doc_1.2-8.1build3_all.deb 886b662876b074d16328c8228a2241e46d1d7de17b30eafd478c1dfef9178905 10462764 libppl-swi-dbgsym_1.2-8.1build3_amd64.ddeb ff5d81f9807310313e1c90bcf45a68255b813b3b692f3a9c4d3341791a438055 2582064 libppl-swi_1.2-8.1build3_amd64.deb a777fc160f009c13da68d4222a919b4cd680edef7ee6661d635f71c78d169327 6208904 libppl14-dbgsym_1.2-8.1build3_amd64.ddeb cd1395a07d62e07542013a390cedf20e64984242fa55cdfb595f6b17c399e229 408628 libppl14_1.2-8.1build3_amd64.deb 90a640bd29e201d4e689db134cdbedd4193a81fb5f55561640f82e7ebdedc592 49280 ppl-dev-dbgsym_1.2-8.1build3_amd64.ddeb 785f70d23b4cf3b3b9accca2325bf62016e20c020e766f01206d9572327517db 38194 ppl-dev_1.2-8.1build3_amd64.deb 5f89f3737c208639792fac5ae479004272491c0cfafd1b82fee082cd4154e9b3 13197 ppl_1.2-8.1build3_amd64.buildinfo Files: d795362955251918e8a79c3f1738298a 8853100 debug optional libppl-c4-dbgsym_1.2-8.1build3_amd64.ddeb b2df6a4c0242ed237ac9481a65ee0bd6 921034 libs optional libppl-c4_1.2-8.1build3_amd64.deb 16f4139476fee38dfbd02293dd491388 1844712 libdevel optional libppl-dev_1.2-8.1build3_amd64.deb e030e1ccc355fb5a375337076912a888 6516550 doc optional libppl-doc_1.2-8.1build3_all.deb 1f364cfab670df92766e1113657bc48c 10462764 debug optional libppl-swi-dbgsym_1.2-8.1build3_amd64.ddeb e8745f582b0c913fca68502c54ad5c0c 2582064 libs optional libppl-swi_1.2-8.1build3_amd64.deb 6686c5fdd06cbe46f68887fe3cf6e582 6208904 debug optional libppl14-dbgsym_1.2-8.1build3_amd64.ddeb d5396b3e3efe757a1fc7166ba3d2fede 408628 libs optional libppl14_1.2-8.1build3_amd64.deb 73eb5ffd3c2e3ab45342985abe7bd129 49280 debug optional ppl-dev-dbgsym_1.2-8.1build3_amd64.ddeb ad071554509c94c7a6de33af31cf1bf6 38194 devel optional ppl-dev_1.2-8.1build3_amd64.deb 913c71365a31847261cee0251e94eadf 13197 libs optional ppl_1.2-8.1build3_amd64.buildinfo Original-Maintainer: Debian Science Team