brew

ppl mit Homebrew, dnf, MacPorts, Nix, pacman, zypper, apt installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für ppl in AI-Agent-Workflows.

Installationsbefehl Sicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%

brew install ppl

local Homebrew formula metadata

MacPortsverifiziert · 94%

sudo port install ppl

MacPorts ports tree · devel/ppl/Portfile · Quelle: api.github.com

Linux

Fedora dnfverifiziert · 92%

sudo dnf install ppl

Fedora Rawhide package metadata · ppl · Quelle: dl.fedoraproject.org

Nixverifiziert · 92%

nix profile install nixpkgs#ppl

nixpkgs package indexes · pkgs/by-name/pp/ppl/package.nix · Quelle: api.github.com

Arch Linux pacmanverifiziert · 92%

sudo pacman -S ppl

Arch Linux sync databases · ppl · Quelle: geo.mirror.pkgbuild.com

openSUSE zypperverifiziert · 92%

sudo zypper install ppl

openSUSE Tumbleweed package metadata · ppl · Quelle: download.opensuse.org

Debian aptverifiziert · 92%

sudo apt install libppl-c4

Debian 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

In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
Homebrew-Bottle-Metadaten sind für 13 Plattformziele verfügbar.
Installiert mit 1 Laufzeitabhängigkeiten.

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
`ppl-config`	cli	globales Executable
`ppl_lcdd`	cli	globales Executable
`ppl_pips`	cli	globales Executable

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-07-25

Manager-Version1.2

Manager aktualisiert2026-07-11

lokale DatenOK

Upstreamnot checked

neueste erkannte Versionnicht erkannt

https://www.bugseng.com/ppl

InfoRelease/tag comparison is only available for GitHub repositories.https://www.bugseng.com/pplnone Konfidenz

Installationsmetadaten

Paketmetadaten

Paketschlüssel	brew:ppl
Version	1.2
Paketmanager	Homebrew
Paketmanager-Seite	https://formulae.brew.sh/formula/ppl
Homepage	https://www.bugseng.com/ppl
Repository	https://github.com/BUGSENG/PPL
Upstream-Dokumentation	https://github.com/BUGSENG/PPL#readme
Lizenz	GPL-3.0-or-later
Quellarchiv	https://deb.debian.org/debian/pool/main/p/ppl/ppl_1.2.orig.tar.xz
Zuletzt aktualisiert	2026-07-11T16:46:51+09:00
Pulse	updated
Abhängigkeiten	gmp
Bottle	verfügbar (auf 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	nicht definiert
Dienst	keiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

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	stable

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)

http://www.cs.unipr.it/ppl/

sudo apt install libppl-c4

Section: libs
Architecture: amd64
Source Package: ppl
6 Abhängigkeiten
normalized package name match
Abgeglichen nach: Ppl

Debian stable package indexes · deb.debian.org · Debian stable package indexes: libppl-c4 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Debian apt95%

libppl-dev 1:1.2-8.1+b3

Parma Polyhedra Library (development)

http://www.cs.unipr.it/ppl/

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 stable package indexes · deb.debian.org · Debian stable package indexes: libppl-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Debian apt95%

libppl-doc 1:1.2-8.1

Parma Polyhedra Library: Documentation

http://www.cs.unipr.it/ppl/

sudo apt install libppl-doc

Section: doc
Architecture: all
Source Package: ppl
1 Abhängigkeiten
normalized package name match
Abgeglichen nach: Ppl

Debian stable package indexes · deb.debian.org · Debian stable package indexes: libppl-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Debian apt95%

libppl-swi 1:1.2-8.1+b3

Parma Polyhedra Library (SWI Prolog interface)

http://www.cs.unipr.it/ppl/

sudo apt install libppl-swi

Section: libs
Architecture: amd64
Source Package: ppl
8 Abhängigkeiten
normalized package name match
Abgeglichen nach: Ppl

Debian stable package indexes · deb.debian.org · Debian stable package indexes: libppl-swi from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Debian apt95%

libppl14 1:1.2-8.1+b3

Parma Polyhedra Library (runtime library)

http://www.cs.unipr.it/ppl/

sudo apt install libppl14

Section: libs
Architecture: amd64
Source Package: ppl
5 Abhängigkeiten
normalized package name match
Abgeglichen nach: Ppl

Debian stable package indexes · deb.debian.org · Debian stable package indexes: libppl14 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Debian apt95%

ppl-dev 1:1.2-8.1+b3

Parma Polyhedra Library (development binaries)

http://www.cs.unipr.it/ppl/

sudo apt install ppl-dev

Section: devel
Architecture: amd64
Source Package: ppl
5 Abhängigkeiten
normalized package name match
Abgeglichen nach: Ppl

Debian stable package indexes · deb.debian.org · Debian stable package indexes: ppl-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Nix95%

ppl

nix profile install nixpkgs#ppl

normalized package name match
Abgeglichen nach: Ppl

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/pp/ppl/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

Ubuntu apt95%

libppl-c4 1:1.2-8.1build5

Parma Polyhedra Library (C interface)

http://www.cs.unipr.it/ppl/

sudo apt install libppl-c4

Section: universe/libs
Architecture: amd64
Source Package: ppl
6 Abhängigkeiten
normalized package name match
Abgeglichen nach: Ppl

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libppl-c4 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt95%

libppl-dev 1:1.2-8.1build5

Parma Polyhedra Library (development)

http://www.cs.unipr.it/ppl/

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 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libppl-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt95%

libppl-doc 1:1.2-8.1build5

Parma Polyhedra Library: Documentation

http://www.cs.unipr.it/ppl/

sudo apt install libppl-doc

Section: universe/doc
Architecture: all
Source Package: ppl
1 Abhängigkeiten
normalized package name match
Abgeglichen nach: Ppl

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libppl-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt95%

libppl-swi 1:1.2-8.1build5

Parma Polyhedra Library (SWI Prolog interface)

http://www.cs.unipr.it/ppl/

sudo apt install libppl-swi

Section: universe/libs
Architecture: amd64
Source Package: ppl
8 Abhängigkeiten
normalized package name match
Abgeglichen nach: Ppl

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libppl-swi from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt95%

libppl14 1:1.2-8.1build5

Parma Polyhedra Library (runtime library)

http://www.cs.unipr.it/ppl/

sudo apt install libppl14

Section: universe/libs
Architecture: amd64
Source Package: ppl
5 Abhängigkeiten
normalized package name match
Abgeglichen nach: Ppl

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libppl14 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt95%

ppl-dev 1:1.2-8.1build5

Parma Polyhedra Library (development binaries)

http://www.cs.unipr.it/ppl/

sudo apt install ppl-dev

Section: universe/devel
Architecture: amd64
Source Package: ppl
5 Abhängigkeiten
normalized package name match
Abgeglichen nach: Ppl

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: ppl-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

dnf95%

ppl 1.2-39.fc44

The Parma Polyhedra Library: a library of numerical abstractions

http://www.bugseng.com/ppl

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

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: ppl from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf95%

ppl-devel 1.2-39.fc44

Development tools for the Parma Polyhedra Library C and C++ interfaces

http://www.bugseng.com/ppl

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

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: ppl-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf95%

ppl-docs 1.2-39.fc44

Documentation for the Parma Polyhedra Library

http://www.bugseng.com/ppl

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

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: ppl-docs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

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.

combined/ppl.yml

Verwendete Quellen

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

ppl mit Homebrew, dnf, MacPorts, Nix, pacman, zypper, apt installieren

Weitere Installationsbefehle

macOS

Linux

Paketzusammenfassung

Projektlinks

Befehle und Aliase

Risikostufe: grün

Risikoklassifikator

Warum

Signale

Installationsverhalten

Empfohlene Prüfung

Installierte Executables

Version und Aktualität

Paketmetadaten

Details aus der Quelldatenbank

Andere Paketmanager-Einträge

Interne Paketlinks

Themen-Hubs

Verwandte Tools

Gleicher Workflow

Agent-Sicherheitsleitfäden

Aus Repository-Daten generiert

Combined YAML source

Verwendete Quellen