Format: 1.8
Date: Wed, 03 May 2023 14:22:15 +0200
Source: ppl
Binary: libppl-c4 libppl-dev libppl-swi libppl14 ppl-dev
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 1:1.2-8.1build3
Distribution: mantic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-016.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libppl-c4  - Parma Polyhedra Library (C interface)
 libppl-dev - Parma Polyhedra Library (development)
 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:
 0014b4a9dbe458fe07277d1283170e488fab8121 9418074 libppl-c4-dbgsym_1.2-8.1build3_ppc64el.ddeb
 aba7d012b48bcdb5588b894c1c72967f7ed82300 868556 libppl-c4_1.2-8.1build3_ppc64el.deb
 df704a38dee502f4a7be6b1a7a094f5f43ac0f07 1896842 libppl-dev_1.2-8.1build3_ppc64el.deb
 4ee8bf8c1ffc99a096d37c64a7bbb1fbd592fdd0 11583376 libppl-swi-dbgsym_1.2-8.1build3_ppc64el.ddeb
 96fd4999a2657dc17342dac83659e2a7744064c0 2494842 libppl-swi_1.2-8.1build3_ppc64el.deb
 db2fa9a42602cd6f1ac91f10c1a511c0e14f7439 6367126 libppl14-dbgsym_1.2-8.1build3_ppc64el.ddeb
 5b581a5e38b6bcb253b39c0d1b8de9f696e749cb 452784 libppl14_1.2-8.1build3_ppc64el.deb
 5792053bbad2ff83c4e544aa3ef5f3abbd45ee25 52204 ppl-dev-dbgsym_1.2-8.1build3_ppc64el.ddeb
 d6d538961a4bf8bec734d0736816a8f4c0762039 38228 ppl-dev_1.2-8.1build3_ppc64el.deb
 364b5e8ac1e992bfc8c80f1dfd1b6bf5690b9c26 8961 ppl_1.2-8.1build3_ppc64el.buildinfo
Checksums-Sha256:
 2db8e5ae81c833f280311706b9c48083c7ad12e0ed4b6140f0b0c6f4ca07c38c 9418074 libppl-c4-dbgsym_1.2-8.1build3_ppc64el.ddeb
 b15f0b46993249e13aed95a76e14b019a3d5d2357404365810ea4f74693b77cf 868556 libppl-c4_1.2-8.1build3_ppc64el.deb
 b5b74f92170c0cbfb9e6a32e8ee7121acf6879610a61ecac5a3f349eef94fac4 1896842 libppl-dev_1.2-8.1build3_ppc64el.deb
 11fd67ee62a54679e7d9d3a6917d8c3476c77f9360646657aba38397a335963c 11583376 libppl-swi-dbgsym_1.2-8.1build3_ppc64el.ddeb
 456e81348648490ecf6ad6b11f26a34d0774f811a4206d5c9a0e008ad9d3f9cc 2494842 libppl-swi_1.2-8.1build3_ppc64el.deb
 5987592db0068474def875bf5a8fd4bc7d4a44d9286f8feef985f9596d94adad 6367126 libppl14-dbgsym_1.2-8.1build3_ppc64el.ddeb
 2418bbbd7699f28e1c29e05b5dfeee9e766a9c29bba6122bf5219635adb50895 452784 libppl14_1.2-8.1build3_ppc64el.deb
 e762dee0d14befa99f6a85af00a55b766b1f37b385bfee208804de7f653303cd 52204 ppl-dev-dbgsym_1.2-8.1build3_ppc64el.ddeb
 1e247783052e9131c8dbdbebc35351c4a10fa557d495d18cd18fff02683c5ee4 38228 ppl-dev_1.2-8.1build3_ppc64el.deb
 4af005376cd417193be9b853bb41c87f603a4ab59690dabb2f32a091a991d2be 8961 ppl_1.2-8.1build3_ppc64el.buildinfo
Files:
 411a6c4292409fe375d35ab31a7b5feb 9418074 debug optional libppl-c4-dbgsym_1.2-8.1build3_ppc64el.ddeb
 c46c6b25ada4e2e51fe97e78ab002f8d 868556 libs optional libppl-c4_1.2-8.1build3_ppc64el.deb
 f2944edcdb5518850cd228e15f13d07f 1896842 libdevel optional libppl-dev_1.2-8.1build3_ppc64el.deb
 d6aed4b863ff23f2fe34ca2eb26a1017 11583376 debug optional libppl-swi-dbgsym_1.2-8.1build3_ppc64el.ddeb
 aebf8f93d6b10702d22617d7a9c35745 2494842 libs optional libppl-swi_1.2-8.1build3_ppc64el.deb
 fca101b1768ed863fc054578921aac07 6367126 debug optional libppl14-dbgsym_1.2-8.1build3_ppc64el.ddeb
 97f5ae3965a88d80f8b88f306ab968b0 452784 libs optional libppl14_1.2-8.1build3_ppc64el.deb
 d6d78c76a117dd8986da31bcee15a0b0 52204 debug optional ppl-dev-dbgsym_1.2-8.1build3_ppc64el.ddeb
 10faa8942e7c282172d257b7d01db4e5 38228 devel optional ppl-dev_1.2-8.1build3_ppc64el.deb
 2bfb4b9cb0a06f05183f17547dcf792a 8961 libs optional ppl_1.2-8.1build3_ppc64el.buildinfo
Original-Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>