macOS
Homebrewverifiziert · 100%
brew install ppllocal Homebrew formula metadata
MacPortsverifiziert · 94%
sudo port install pplMacPorts ports tree · devel/ppl/Portfile · Quelle: api.github.com
brew / Rang 6127
ppl mit Homebrew, dnf, MacPorts, Nix, pacman, zypper, apt installieren
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für ppl in AI-Agent-Workflows.
Installation
Weitere Installationsbefehle
Linux
Fedora dnfverifiziert · 92%
sudo dnf install pplFedora Rawhide package metadata · ppl · Quelle: dl.fedoraproject.org
Nixverifiziert · 92%
nix profile install nixpkgs#pplnixpkgs package indexes · pkgs/by-name/pp/ppl/package.nix · Quelle: api.github.com
Arch Linux pacmanverifiziert · 92%
sudo pacman -S pplArch Linux sync databases · ppl · Quelle: geo.mirror.pkgbuild.com
openSUSE zypperverifiziert · 92%
sudo zypper install pplopenSUSE Tumbleweed package metadata · ppl · Quelle: download.opensuse.org
Debian aptverifiziert · 92%
sudo apt install libppl-c4Debian stable package indexes · libppl-c4 · Quelle: deb.debian.org
Überblick
Paketzusammenfassung
Parma Polyhedra Library: numerical abstractions for analysis, verification
Projektlinks
Befehle und Aliase
- ppl-config
- ppl_lcdd
- ppl_pips
Sicherheitslage
Risikostufe: grün
library-like package without higher-risk signals.
Risikoklassifikator
grün Risiko · niedrig Konfidenz · appliance
Warum
- library-like package without higher-risk signals
Signale
- metadata:library-like
Installationsverhalten
- Es wurden keine Homebrew-Bottle-Metadaten erfasst.
Empfohlene Prüfung
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
Installierte Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
ppl-config | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
ppl_lcdd | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
ppl_pips | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
Aktualität
Version und Aktualität
Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.
Seite generiert2026-08-03
Manager-Version1.2
Manager aktualisiert2026-07-11
lokale Datenunbekannt
Upstreamnicht verfügbar
neueste erkannte Versionnicht erkannt
- OKEs wurden keine Aktualitätswarnungen generiert.
Installationsmetadaten
Paketmetadaten
| Paketschlüssel | brew:ppl |
|---|---|
| Version | 1.2 |
| Paketmanager | Homebrew |
| Homepage | https://www.bugseng.com/ppl |
| Zuletzt aktualisiert | 2026-07-11T16:46:51+09:00 |
| Pulse | updated |
| Bottle | nicht erfasst |
| Dienst | keiner deklariert |
Source-Datenbank-Treffer
Andere Paketmanager-Einträge
Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.
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 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: 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 Abhängigkeiten
- 2 stellt bereit
- 2 optionale Abhängigkeiten
- normalized package name match
- Abgeglichen nach: 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 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: 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 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: 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 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: 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 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: Ppl
Nix95%
ppl
nix profile install nixpkgs#ppl- normalized package name match
- Abgeglichen nach: 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 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: 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 Abhängigkeiten
- 2 stellt bereit
- 2 optionale Abhängigkeiten
- normalized package name match
- Abgeglichen nach: 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 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: 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 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: 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 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: 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 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: Ppl
dnf95%
ppl 1.2-40.fc45
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 Abhängigkeiten
- 3 stellt bereit
- normalized package name match
- Abgeglichen nach: Ppl
dnf95%
ppl-devel 1.2-40.fc45
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 Abhängigkeiten
- 1 stellt bereit
- normalized package name match
- Abgeglichen nach: Ppl
dnf95%
ppl-docs 1.2-40.fc45
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 Abhängigkeiten
- 1 stellt bereit
- normalized package name match
- Abgeglichen nach: Ppl
Quellspur
Aus Repository-Daten generiert
Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.
Combined YAML source
View the package source record on GitHub.
Verwendete Quellen
- Geiger risk classifier
- cross-ecosystem install command graph
- external package-manager database matches
- pkg.so package database
- pkgdb category and tag curation