Automic VaultAutomic Vault

brew

Installer ppl avec Homebrew, dnf, MacPorts, Nix, pacman, zypper, apt

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

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%
brew install ppl

local Homebrew formula metadata

MacPortsvérifié · 94%
sudo port install ppl

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

Linux

Fedora dnfvérifié · 92%
sudo dnf install ppl

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

Nixvérifié · 92%
nix profile install nixpkgs#ppl

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

Arch Linux pacmanvérifié · 92%
sudo pacman -S ppl

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

openSUSE zyppervérifié · 92%
sudo zypper install ppl

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

Debian aptvérifié · 92%
sudo apt install libppl-c4

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

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 : vert

library-like package without higher-risk signals.

Classificateur de risque

risque vert · confiance faible · appliance

Pourquoi

  • library-like package without higher-risk signals

Signaux

  • metadata:library-like

Comportement d'installation

  • Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
  • Les métadonnées de bottle Homebrew sont disponibles pour 13 plateformes.
  • S’installe avec 1 dépendances d’exécution.

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-configcliexécutable global
ppl_lcddcliexécutable global
ppl_pipscliexécutable global

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-07-25
version du gestionnaire1.2
gestionnaire mis à jour2026-07-11
données localesOK
amontnot checked
dernière version détectéenon détecté

https://www.bugseng.com/ppl

métadonnées d'installation

Métadonnées du paquet

Clé du paquetbrew:ppl
Version1.2
Gestionnaire de paquetsHomebrew
Page du gestionnaire de paquetshttps://formulae.brew.sh/formula/ppl
Page d'accueilhttps://www.bugseng.com/ppl
Dépôthttps://github.com/BUGSENG/PPL
Docs amonthttps://github.com/BUGSENG/PPL#readme
LicenceGPL-3.0-or-later
Archive sourcehttps://deb.debian.org/debian/pool/main/p/ppl/ppl_1.2.orig.tar.xz
Dernière mise à jour2026-07-11T16:46:51+09:00
Pulseupdated
Dépendancesgmp
Bouteilledisponible (sur arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura, x86_64_linux)
post-install Homebrewnon défini
Serviceaucun déclaré

faits du registre

Détails de la base source

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

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

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 Dépendances
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 2 fournit
  • 2 dépendances optionnelles
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • normalized package name match
  • Correspondance par : 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
  • Correspondance par : 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 Dépendances
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 2 fournit
  • 2 dépendances optionnelles
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 3 fournit
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 1 fournit
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 1 fournit
  • normalized package name match
  • Correspondance par : 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

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

  • cddlibShares av.db curated category or tags: cli, mathematics, polyhedra, science.
  • maximaShares av.db curated category or tags: cli, mathematics, science.
  • pariShares av.db curated category or tags: cli, mathematics, science.
  • primecountShares av.db curated category or tags: cli, mathematics, science.
  • singularShares av.db curated category or tags: cli, mathematics, science.
  • msieveShares 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