Publishing details

• Created on 2023-05-05 by Ubuntu Archive Auto-Sync
• Published on 2023-05-05

Changelog

ppl (1:1.2-8.1build3) mantic; urgency=medium

  * Rebuild against new swi-prolog 9.0.4+dfsg-2.

 -- Gianfranco Costamagna <email address hidden>  Wed, 03 May 2023 14:22:15 +0200

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

Built packages

• libppl-c4 Parma Polyhedra Library (C interface)

• libppl-c4-dbgsym debug symbols for libppl-c4

• libppl-dev Parma Polyhedra Library (development)

• libppl-doc Parma Polyhedra Library: Documentation

• libppl-swi Parma Polyhedra Library (SWI Prolog interface)

• libppl-swi-dbgsym debug symbols for libppl-swi

• libppl14 Parma Polyhedra Library (runtime library)

• libppl14-dbgsym debug symbols for libppl14

• ppl-dev Parma Polyhedra Library (development binaries)

• ppl-dev-dbgsym debug symbols for ppl-dev

Package files

• libppl-c4-dbgsym_1.2-8.1build3_amd64.ddeb (8.4 MiB)
• libppl-c4-dbgsym_1.2-8.1build3_arm64.ddeb (8.1 MiB)
• libppl-c4-dbgsym_1.2-8.1build3_armhf.ddeb (8.9 MiB)
• libppl-c4-dbgsym_1.2-8.1build3_ppc64el.ddeb (9.0 MiB)
• libppl-c4-dbgsym_1.2-8.1build3_riscv64.ddeb (10.6 MiB)
• libppl-c4-dbgsym_1.2-8.1build3_s390x.ddeb (8.4 MiB)
• libppl-c4_1.2-8.1build3_amd64.deb (899.4 KiB)
• libppl-c4_1.2-8.1build3_arm64.deb (704.3 KiB)
• libppl-c4_1.2-8.1build3_armhf.deb (660.5 KiB)
• libppl-c4_1.2-8.1build3_ppc64el.deb (848.2 KiB)
• libppl-c4_1.2-8.1build3_riscv64.deb (1.1 MiB)
• libppl-c4_1.2-8.1build3_s390x.deb (776.0 KiB)
• libppl-dev_1.2-8.1build3_amd64.deb (1.8 MiB)
• libppl-dev_1.2-8.1build3_arm64.deb (1.6 MiB)
• libppl-dev_1.2-8.1build3_armhf.deb (1.6 MiB)
• libppl-dev_1.2-8.1build3_ppc64el.deb (1.8 MiB)
• libppl-dev_1.2-8.1build3_riscv64.deb (11.0 MiB)
• libppl-dev_1.2-8.1build3_s390x.deb (1.6 MiB)
• libppl-doc_1.2-8.1build3_all.deb (6.2 MiB)
• libppl-swi-dbgsym_1.2-8.1build3_amd64.ddeb (10.0 MiB)
• libppl-swi-dbgsym_1.2-8.1build3_arm64.ddeb (9.9 MiB)
• libppl-swi-dbgsym_1.2-8.1build3_armhf.ddeb (10.3 MiB)
• libppl-swi-dbgsym_1.2-8.1build3_ppc64el.ddeb (11.0 MiB)
• libppl-swi_1.2-8.1build3_amd64.deb (2.5 MiB)
• libppl-swi_1.2-8.1build3_arm64.deb (2.1 MiB)
• libppl-swi_1.2-8.1build3_armhf.deb (1.7 MiB)
• libppl-swi_1.2-8.1build3_ppc64el.deb (2.4 MiB)
• libppl14-dbgsym_1.2-8.1build3_amd64.ddeb (5.9 MiB)
• libppl14-dbgsym_1.2-8.1build3_arm64.ddeb (5.8 MiB)
• libppl14-dbgsym_1.2-8.1build3_armhf.ddeb (6.8 MiB)
• libppl14-dbgsym_1.2-8.1build3_ppc64el.ddeb (6.1 MiB)
• libppl14-dbgsym_1.2-8.1build3_riscv64.ddeb (5.8 MiB)
• libppl14-dbgsym_1.2-8.1build3_s390x.ddeb (6.1 MiB)
• libppl14_1.2-8.1build3_amd64.deb (399.1 KiB)
• libppl14_1.2-8.1build3_arm64.deb (375.5 KiB)
• libppl14_1.2-8.1build3_armhf.deb (406.4 KiB)
• libppl14_1.2-8.1build3_ppc64el.deb (442.2 KiB)
• libppl14_1.2-8.1build3_riscv64.deb (440.8 KiB)
• libppl14_1.2-8.1build3_s390x.deb (381.2 KiB)
• ppl-dev-dbgsym_1.2-8.1build3_amd64.ddeb (48.1 KiB)
• ppl-dev-dbgsym_1.2-8.1build3_arm64.ddeb (48.1 KiB)
• ppl-dev-dbgsym_1.2-8.1build3_armhf.ddeb (50.8 KiB)
• ppl-dev-dbgsym_1.2-8.1build3_ppc64el.ddeb (51.0 KiB)
• ppl-dev-dbgsym_1.2-8.1build3_riscv64.ddeb (45.6 KiB)
• ppl-dev-dbgsym_1.2-8.1build3_s390x.ddeb (48.3 KiB)
• ppl-dev_1.2-8.1build3_amd64.deb (37.3 KiB)
• ppl-dev_1.2-8.1build3_arm64.deb (36.7 KiB)
• ppl-dev_1.2-8.1build3_armhf.deb (33.9 KiB)
• ppl-dev_1.2-8.1build3_ppc64el.deb (37.3 KiB)
• ppl-dev_1.2-8.1build3_riscv64.deb (34.8 KiB)
• ppl-dev_1.2-8.1build3_s390x.deb (36.2 KiB)
• ppl_1.2-8.1build3.debian.tar.xz (13.4 KiB)
• ppl_1.2-8.1build3.dsc (2.6 KiB)
• ppl_1.2.orig.tar.xz (13.5 MiB)