macOS
Homebrewverified · 100%
brew install ppllocal Homebrew formula metadata
MacPortsverified · 94%
sudo port install pplMacPorts ports tree · devel/ppl/Portfile · source: api.github.com
brew
Install ppl with Homebrew, apt, dnf, MacPorts, Nix, pacman, zypper
Parma Polyhedra Library: numerical abstractions for analysis, verification. Version 1.2 via Homebrew; verified 2026-06-22.
install
Additional install commands
Linux
Debian aptverified · 92%
sudo apt install libppl-c4Debian stable package indexes · libppl-c4 · source: deb.debian.org
Fedora dnfverified · 92%
sudo dnf install pplFedora Rawhide package metadata · ppl · source: dl.fedoraproject.org
Nixverified · 92%
nix profile install nixpkgs#pplnixpkgs package indexes · pkgs/by-name/pp/ppl/package.nix · source: api.github.com
Arch Linux pacmanverified · 92%
sudo pacman -S pplArch Linux sync databases · ppl · source: geo.mirror.pkgbuild.com
openSUSE zypperverified · 92%
sudo zypper install libppl14openSUSE Tumbleweed package metadata · libppl14 · source: download.opensuse.org
overview
Package summary
Parma Polyhedra Library: numerical abstractions for analysis, verification
Project links
Commands and aliases
- ppl-config
- ppl_lcdd
- ppl_pips
security posture
Risk level: green
library-like package without higher-risk signals.
Risk classifier
green risk · low confidence · appliance
Why
- library-like package without higher-risk signals
Signals
- metadata:library-like
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 13 platform targets.
- Installs with 1 runtime dependencies.
Recommended review
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
executables
Installed executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
ppl-config | cli | global executable | |
ppl_lcdd | cli | global executable | |
ppl_pips | cli | global executable |
freshness
Version and freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
page generated2026-07-08
manager version1.2
manager updated2026-06-22
local dataok
upstreamnot checked
latest detectednot detected
- infoRelease/tag comparison is only available for GitHub repositories.https://www.bugseng.com/pplnone confidence
install metadata
Package metadata
| Package key | brew:ppl |
|---|---|
| Version | 1.2 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/ppl |
| Homepage | https://www.bugseng.com/ppl |
| Repository | https://github.com/BUGSENG/PPL |
| Upstream docs | https://github.com/BUGSENG/PPL#readme |
| License | GPL-3.0-or-later |
| Source archive | https://deb.debian.org/debian/pool/main/p/ppl/ppl_1.2.orig.tar.xz |
| Last updated | 2026-06-22T14:05:58-07:00 |
| Pulse | updated |
| Dependencies | gmp |
| Bottle | available (on arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
Source database details
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | ppl |
| Version Scheme | 0 |
| Revision | 1 |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
source database matches
Other package-manager records
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
Debian apt95%
libppl-c4 1:1.2-8.1+b3
Parma Polyhedra Library (C interface)
sudo apt install libppl-c4- Section: libs
- Architecture: amd64
- Source Package: ppl
- 6 dependencies
- normalized package name match
- Matched by: Ppl
Debian apt95%
libppl-dev 1:1.2-8.1+b3
Parma Polyhedra Library (development)
sudo apt install libppl-dev- Section: libdevel
- Architecture: amd64
- Source Package: ppl
- 2 dependencies
- 2 provides
- 2 optional deps
- normalized package name match
- Matched by: Ppl
Debian apt95%
libppl-doc 1:1.2-8.1
Parma Polyhedra Library: Documentation
sudo apt install libppl-doc- Section: doc
- Architecture: all
- Source Package: ppl
- 1 dependencies
- normalized package name match
- Matched by: Ppl
Debian apt95%
libppl-swi 1:1.2-8.1+b3
Parma Polyhedra Library (SWI Prolog interface)
sudo apt install libppl-swi- Section: libs
- Architecture: amd64
- Source Package: ppl
- 8 dependencies
- normalized package name match
- Matched by: Ppl
Debian apt95%
libppl14 1:1.2-8.1+b3
Parma Polyhedra Library (runtime library)
sudo apt install libppl14- Section: libs
- Architecture: amd64
- Source Package: ppl
- 5 dependencies
- normalized package name match
- Matched by: Ppl
Debian apt95%
ppl-dev 1:1.2-8.1+b3
Parma Polyhedra Library (development binaries)
sudo apt install ppl-dev- Section: devel
- Architecture: amd64
- Source Package: ppl
- 5 dependencies
- normalized package name match
- Matched by: Ppl
Nix95%
ppl
nix profile install nixpkgs#ppl- normalized package name match
- Matched by: Ppl
Ubuntu apt95%
libppl-c4 1:1.2-8.1build5
Parma Polyhedra Library (C interface)
sudo apt install libppl-c4- Section: universe/libs
- Architecture: amd64
- Source Package: ppl
- 6 dependencies
- normalized package name match
- Matched by: Ppl
Ubuntu apt95%
libppl-dev 1:1.2-8.1build5
Parma Polyhedra Library (development)
sudo apt install libppl-dev- Section: universe/libdevel
- Architecture: amd64
- Source Package: ppl
- 2 dependencies
- 2 provides
- 2 optional deps
- normalized package name match
- Matched by: Ppl
Ubuntu apt95%
libppl-doc 1:1.2-8.1build5
Parma Polyhedra Library: Documentation
sudo apt install libppl-doc- Section: universe/doc
- Architecture: all
- Source Package: ppl
- 1 dependencies
- normalized package name match
- Matched by: Ppl
Ubuntu apt95%
libppl-swi 1:1.2-8.1build5
Parma Polyhedra Library (SWI Prolog interface)
sudo apt install libppl-swi- Section: universe/libs
- Architecture: amd64
- Source Package: ppl
- 8 dependencies
- normalized package name match
- Matched by: Ppl
Ubuntu apt95%
libppl14 1:1.2-8.1build5
Parma Polyhedra Library (runtime library)
sudo apt install libppl14- Section: universe/libs
- Architecture: amd64
- Source Package: ppl
- 5 dependencies
- normalized package name match
- Matched by: Ppl
Ubuntu apt95%
ppl-dev 1:1.2-8.1build5
Parma Polyhedra Library (development binaries)
sudo apt install ppl-dev- Section: universe/devel
- Architecture: amd64
- Source Package: ppl
- 5 dependencies
- normalized package name match
- Matched by: Ppl
dnf95%
ppl 1.2-39.fc44
The Parma Polyhedra Library: a library of numerical abstractions
sudo dnf install ppl- License: GPL-3.0-or-later
- Category: Unspecified
- Architecture: x86_64
- Source Package: ppl
- 7 dependencies
- 3 provides
- normalized package name match
- Matched by: Ppl
dnf95%
ppl-devel 1.2-39.fc44
Development tools for the Parma Polyhedra Library C and C++ interfaces
sudo dnf install ppl-devel- License: GPL-3.0-or-later
- Category: Unspecified
- Architecture: x86_64
- Source Package: ppl
- 4 dependencies
- 1 provides
- normalized package name match
- Matched by: Ppl
dnf95%
ppl-docs 1.2-39.fc44
Documentation for the Parma Polyhedra Library
sudo dnf install ppl-docs- License: GFDL-1.2-no-invariants-or-later
- Category: Unspecified
- Architecture: x86_64
- Source Package: ppl
- 1 dependencies
- 1 provides
- normalized package name match
- Matched by: Ppl
source trail
Generated from repository data
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Used sources
- Geiger risk classifier
- Nucleus package database
- av.db category and tag curation
- cross-ecosystem install command graph
- external package-manager database matches
- package relationship graph
- package version freshness
- package-page enrichment