Automic VaultAutomic Vault

brew / Rang 5848

ppl installieren

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

InstallationsbefehlSicherheitshinweise

Installation

Mit Automic Vault installieren

Automic Vault
AV herunterladen
sudo av install brew:ppl

macOS

Homebrewverified · 100%
brew install ppl

local Homebrew formula metadata

MacPortsverified · 94%
sudo port install ppl

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

Linux

Debian aptverified · 92%
sudo apt install libppl-c4

Debian stable package indexes · libppl-c4 · source: deb.debian.org

Fedora dnfverified · 92%
sudo dnf install ppl

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

Nixverified · 92%
nix profile install nixpkgs#ppl

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

Arch Linux pacmanverified · 92%
sudo pacman -S ppl

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

openSUSE zypperverified · 92%
sudo zypper install libppl14

openSUSE Tumbleweed package metadata · libppl14 · source: download.opensuse.org

Plattformhinweise

  • Es waren keine paketspezifischen Plattformhinweise vorhanden.

Überblick

Paketzusammenfassung

Parma Polyhedra Library: numerical abstractions for analysis, verification

Befehle und Aliase

  • ppl-config
  • ppl_lcdd
  • ppl_pips

Sicherheitslage

Risikostufe: 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.

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

BefehlArtSichtbarkeitHinweis
ppl-configcliglobal executable
ppl_lcddcliglobal executable
ppl_pipscliglobal 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-06-10
Manager-Version1.2
Manager aktualisiert
lokale Datenok
Upstreamnot checked
neueste erkannte Versionnot detected

https://www.bugseng.com/ppl

  • infoNo package-manager update timestamp was available.low confidence
  • infoRelease/tag comparison is only available for GitHub repositories.https://www.bugseng.com/pplnone confidence

Installationsmetadaten

Paketmetadaten

Package keybrew:ppl
Version1.2
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/ppl
Homepagehttps://www.bugseng.com/ppl
Repositoryhttps://github.com/BUGSENG/PPL
Upstream docshttps://github.com/BUGSENG/PPL#readme
LicenseGPL-3.0-or-later
Source archivehttps://deb.debian.org/debian/pool/main/p/ppl/ppl_1.2.orig.tar.xz
Dependenciesgmp
Bottleavailable (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-installnot defined
Servicenone declared

registry facts

Source database details

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Nameppl
Version Scheme0
Revision1
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

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)

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

sudo apt install libppl-c4
  • Section: libs
  • Architecture: amd64
  • Source Package: ppl
  • 6 dependencies
  • normalized package name match
  • Matched by: 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 dependencies
  • 2 provides
  • 2 optional deps
  • normalized package name match
  • Matched by: 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 dependencies
  • normalized package name match
  • Matched by: 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 dependencies
  • normalized package name match
  • Matched by: 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 dependencies
  • normalized package name match
  • Matched by: 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 dependencies
  • normalized package name match
  • Matched by: 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
  • Matched by: 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 dependencies
  • normalized package name match
  • Matched by: 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 dependencies
  • 2 provides
  • 2 optional deps
  • normalized package name match
  • Matched by: 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 dependencies
  • normalized package name match
  • Matched by: 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 dependencies
  • normalized package name match
  • Matched by: 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 dependencies
  • normalized package name match
  • Matched by: 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 dependencies
  • normalized package name match
  • Matched by: 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 dependencies
  • 3 provides
  • normalized package name match
  • Matched by: 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/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-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 dependencies
  • 1 provides
  • normalized package name match
  • Matched by: 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/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-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 dependencies
  • 1 provides
  • normalized package name match
  • Matched by: 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/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Verwandte Tools

  • gmpHomebrew dependency.

Gleicher Workflow

  • sollyaShares av.db curated category or tags: cli, mathematics, numerical-analysis, science.
  • cddlibShares av.db curated category or tags: cli, mathematics, polyhedra, science.
  • suite-sparseShares av.db curated category or tags: cli, mathematics, science.
  • maximaShares av.db curated category or tags: cli, mathematics, science.
  • calcShares av.db curated category or tags: cli, mathematics, science.
  • wxmaximaShares av.db curated category or tags: cli, mathematics, science.

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.

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