Linux workstation

Upstream software project

ppl

Parma Polyhedra Library (development)

About ppl

Parma Polyhedra Library (development)

This project links 12 native package records across 2 recorded operating-system releases. Compare the retained versions and architectures below, then open the package for your own release.

These are catalog observations, not a guarantee of installation, compatibility, or upstream support.

Visit project website

Project pictures and package coverage

Debian 12 (Bookworm): 6 package records; Debian 13 (Trixie): 6 package records. Catalog coverage diagram, not an application screenshot.ppl: recorded package coverageDebian 12 (Bookworm)6 recordsDebian 13 (Trixie)6 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
ppl
Publisher
Not authoritatively mapped
Native package records
12
Operating systems
debian-12, debian-13
License expression
Not reported
Metadata completeness
95/100 (not a software quality rating)
Homepage
Visit upstream site
Source repository
Not reported

Source-reported description

The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.

Parma Polyhedra Library (development binaries)

Description source

Packages by operating system

Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.

Debian 12 (Bookworm)

  1. libppl14

    Debian 12 (Bookworm) / libs / source ppl

    1:1.2-8.1+b1

    Parma Polyhedra Library (runtime library)

    amd64arm64bookworm
  2. libppl-c4

    Debian 12 (Bookworm) / libs / source ppl

    1:1.2-8.1+b1

    Parma Polyhedra Library (C interface)

    amd64arm64bookworm
  3. libppl-dev

    Debian 12 (Bookworm) / libdevel / source ppl

    1:1.2-8.1+b1

    Parma Polyhedra Library (development)

    amd64arm64bookworm
  4. libppl-doc

    Debian 12 (Bookworm) / doc / source ppl

    1:1.2-8.1

    Parma Polyhedra Library: Documentation

    allbookworm
  5. libppl-swi

    Debian 12 (Bookworm) / libs / source ppl

    1:1.2-8.1+b1

    Parma Polyhedra Library (SWI Prolog interface)

    amd64arm64bookworm
  6. ppl-dev

    Debian 12 (Bookworm) / devel / source ppl

    1:1.2-8.1+b1

    Parma Polyhedra Library (development binaries)

    amd64arm64bookworm

Debian 13 (Trixie)

  1. libppl14

    Debian 13 (Trixie) / libs / source ppl

    1:1.2-8.1+b3

    Parma Polyhedra Library (runtime library)

    amd64arm64trixie
  2. libppl-c4

    Debian 13 (Trixie) / libs / source ppl

    1:1.2-8.1+b3

    Parma Polyhedra Library (C interface)

    amd64arm64trixie
  3. libppl-dev

    Debian 13 (Trixie) / libdevel / source ppl

    1:1.2-8.1+b3

    Parma Polyhedra Library (development)

    amd64arm64trixie
  4. libppl-doc

    Debian 13 (Trixie) / doc / source ppl

    1:1.2-8.1

    Parma Polyhedra Library: Documentation

    alltrixie
  5. libppl-swi

    Debian 13 (Trixie) / libs / source ppl

    1:1.2-8.1+b3

    Parma Polyhedra Library (SWI Prolog interface)

    amd64arm64trixie
  6. ppl-dev

    Debian 13 (Trixie) / devel / source ppl

    1:1.2-8.1+b3

    Parma Polyhedra Library (development binaries)

    amd64arm64trixie

Project resources and further reading

Mapping provenance

Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.

No field-level source record is published yet.