Format: 1.8 Date: Wed, 03 May 2023 14:22:15 +0200 Source: ppl Binary: libppl-c4 libppl-dev libppl14 ppl-dev Built-For-Profiles: noudeb Architecture: riscv64 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) 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: 2caf8354a68c118a7fcef44c5cfe5d0bf1ed748e 11063350 libppl-c4-dbgsym_1.2-8.1build3_riscv64.ddeb adb3a16c2dfb9b1a19c072637f74a5002eb00bec 1109222 libppl-c4_1.2-8.1build3_riscv64.deb 684b69215858a769d2c12d945dc13e2a8d63b1bf 11518876 libppl-dev_1.2-8.1build3_riscv64.deb 7bd482c163aa488e8d37f9fa52e8833e7a721ad7 6096386 libppl14-dbgsym_1.2-8.1build3_riscv64.ddeb 3abe16c2c0d1806e7e60cbd697f96036e0621e96 451418 libppl14_1.2-8.1build3_riscv64.deb 9527544ec4d717740a64fd2253bede94fd0499f1 46682 ppl-dev-dbgsym_1.2-8.1build3_riscv64.ddeb cc7c8e1315e49a3b7098bc2a0a120a467db08a0f 35606 ppl-dev_1.2-8.1build3_riscv64.deb 95bd2650f77a67736de59e27a938581ca1f74200 7088 ppl_1.2-8.1build3_riscv64.buildinfo Checksums-Sha256: 7d81ef2335832fb830acaa7dbfbadfba86d88481ebe96ecd2f4ee6674a0940c6 11063350 libppl-c4-dbgsym_1.2-8.1build3_riscv64.ddeb 374dc46aecd992616d2e62503fb73058639912646a520c73f7196722ff58f11e 1109222 libppl-c4_1.2-8.1build3_riscv64.deb 104f150af05426e73308091df198c2d320cd7cc12340954a8b634ef37a7b3ef6 11518876 libppl-dev_1.2-8.1build3_riscv64.deb f31686daff967961eb8de514bc4c2425c841b18aadab9d12e8e6b789bc248e7a 6096386 libppl14-dbgsym_1.2-8.1build3_riscv64.ddeb 4393ae44e6709d7d993be64a406109cedc3190c88e7c41ef71b252f37402c40d 451418 libppl14_1.2-8.1build3_riscv64.deb 7c6f5e2dba14a7aeada29ce03566913baf405b34bc083b90c4036b9854194945 46682 ppl-dev-dbgsym_1.2-8.1build3_riscv64.ddeb 0d0bca53a043e76bc00ef64e16453bd7feaa76c6faa0a690624e9abbc0820bc3 35606 ppl-dev_1.2-8.1build3_riscv64.deb b3c7df52b5eb9ddfd687033f1402707590c8c396e29192e906a09a128cb2982d 7088 ppl_1.2-8.1build3_riscv64.buildinfo Files: 9c49e99a438be123107fe47a17cf0484 11063350 debug optional libppl-c4-dbgsym_1.2-8.1build3_riscv64.ddeb d57bf02dde7cf1cc16be24da359f865a 1109222 libs optional libppl-c4_1.2-8.1build3_riscv64.deb 6159eb00f6f0f3baa41c99a6c9e7437b 11518876 libdevel optional libppl-dev_1.2-8.1build3_riscv64.deb b2c775213cedced8ced5e4dd46e600fc 6096386 debug optional libppl14-dbgsym_1.2-8.1build3_riscv64.ddeb 4ed3c0916e564f5d61e97a24dc69ce7b 451418 libs optional libppl14_1.2-8.1build3_riscv64.deb ea7d4b81ffe458d2a4440e06b03074a4 46682 debug optional ppl-dev-dbgsym_1.2-8.1build3_riscv64.ddeb 1152cd921703870b8ab1e51c9367f2fd 35606 devel optional ppl-dev_1.2-8.1build3_riscv64.deb c7a3f79ca049faaf75b889f3ca10dac9 7088 libs optional ppl_1.2-8.1build3_riscv64.buildinfo Original-Maintainer: Debian Science Team