Automic VaultAutomic Vault

brew / rang 5848

Installer ppl

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de ppl pour les workflows d'agents IA.

Commande d'installationNotes de sécurité

installation

Installer avec Automic Vault

Automic Vault
Télécharger AV
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

Notes de plateforme

  • Aucune note de plateforme propre au paquet n'était présente.

aperçu

Résumé du paquet

Parma Polyhedra Library: numerical abstractions for analysis, verification

Commandes et alias

  • ppl-config
  • ppl_lcdd
  • ppl_pips

posture de sécurité

Niveau de risque : 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.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

CommandeTypeExpositionNote
ppl-configcliglobal executable
ppl_lcddcliglobal executable
ppl_pipscliglobal executable

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-06-10
version du gestionnaire1.2
gestionnaire mis à jour
données localesok
amontnot checked
dernière version détectéenot 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

métadonnées d'installation

Métadonnées du paquet

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

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

Outils liés

  • gmpHomebrew dependency.

Même 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.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Sources utilisées

  • 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