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: arm64 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-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: 932f9c3a4a77de6fe8144de03a4c74a641db739d 8543160 libppl-c4-dbgsym_1.2-8.1build3_arm64.ddeb 7b9829f1ee94a66c648065fc373d281b814e8532 721200 libppl-c4_1.2-8.1build3_arm64.deb 177d25316d24edae12a411d36f4f50c473b16290 1682212 libppl-dev_1.2-8.1build3_arm64.deb 09dfa0dc515fd234e6c62b1a5ffd39b26aa6009e 10397952 libppl-swi-dbgsym_1.2-8.1build3_arm64.ddeb 287bd37c3d500b52cf645ec652939f7abead0f2c 2219250 libppl-swi_1.2-8.1build3_arm64.deb ef5c3db8ada0d926548cc4b6b7e5372c8294fc6a 6108840 libppl14-dbgsym_1.2-8.1build3_arm64.ddeb 61a75c7e34055c6125384f233e2a30fb7145cbc0 384542 libppl14_1.2-8.1build3_arm64.deb 454461abd36d5eb786698a04768a647ddbcaa01c 49268 ppl-dev-dbgsym_1.2-8.1build3_arm64.ddeb db2ed50e8b67401d36799389b9479f1321d99b81 37550 ppl-dev_1.2-8.1build3_arm64.deb b567d87811c6c8cb4a608e4d6a10f1ee5276c2f0 8929 ppl_1.2-8.1build3_arm64.buildinfo Checksums-Sha256: 56ae0d178fe5ea62278c593aca620ba0d1a9a3b85201bd21d1e9e4eb43f707bb 8543160 libppl-c4-dbgsym_1.2-8.1build3_arm64.ddeb 72d13a23bb9e85e65f42f19496fb8ea44c413b46a5474483671f0beb71cdcead 721200 libppl-c4_1.2-8.1build3_arm64.deb 021e5973895e3e341650adcff89c262831ce302d45a0a4f580566e8d7fe48504 1682212 libppl-dev_1.2-8.1build3_arm64.deb a64ae86c618a10062d4fa2dde41d3a41a17ec6ee140c886b8c2c8f8645fb53fb 10397952 libppl-swi-dbgsym_1.2-8.1build3_arm64.ddeb 26afb49ddf59dc39a7140fd81ec7f6d1badd55950c8116eaf9cedd1de49eed5d 2219250 libppl-swi_1.2-8.1build3_arm64.deb af6d38d7b3afbcb3db634973f559291dff2164e7b7699995d7cc9d740103fca8 6108840 libppl14-dbgsym_1.2-8.1build3_arm64.ddeb 03654cee24cf3b8bc12bdcb3d5074d7e5b9120c9d6e2552fb82808cb47c6b5f7 384542 libppl14_1.2-8.1build3_arm64.deb 7c32a31b9a6337a9a59a71e1c234245caca3ab4642340d674d63e9c499c179a4 49268 ppl-dev-dbgsym_1.2-8.1build3_arm64.ddeb df5f094be5b994a3a9d741a78248c3f4a42b35d17e145798393ec911d3d8b7a6 37550 ppl-dev_1.2-8.1build3_arm64.deb b8b32a8acdb06e5f370fac073e3279dee201c1997831e84b6321107e684eb193 8929 ppl_1.2-8.1build3_arm64.buildinfo Files: b4481605cbb291689cb35504f398c285 8543160 debug optional libppl-c4-dbgsym_1.2-8.1build3_arm64.ddeb ac520c2297e3a0408c2111f8b0b92e7f 721200 libs optional libppl-c4_1.2-8.1build3_arm64.deb c196465cc36840ce4775890979a431ad 1682212 libdevel optional libppl-dev_1.2-8.1build3_arm64.deb e3f5caed42b1e8a25a3abc82a7461e33 10397952 debug optional libppl-swi-dbgsym_1.2-8.1build3_arm64.ddeb 9cf33b3e529ae67dfcd1fec4be7c85a6 2219250 libs optional libppl-swi_1.2-8.1build3_arm64.deb 6f216f50d735fda3a9ac257d5c88276e 6108840 debug optional libppl14-dbgsym_1.2-8.1build3_arm64.ddeb 472b40bbf5eb6f3b13c4e7c5d00a385a 384542 libs optional libppl14_1.2-8.1build3_arm64.deb d1783ddb44ec4087ba749a291855b045 49268 debug optional ppl-dev-dbgsym_1.2-8.1build3_arm64.ddeb 116bc1383bf9e9a6461588dcc81a96fd 37550 devel optional ppl-dev_1.2-8.1build3_arm64.deb 7f1c45470c57459c27787da33a3132e3 8929 libs optional ppl_1.2-8.1build3_arm64.buildinfo Original-Maintainer: Debian Science Team