Automic VaultAutomic Vault

brew

ppl を Homebrew, dnf, MacPorts, Nix, pacman, zypper, apt でインストール

ppl のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

インストールコマンドセキュリティノート

インストール

追加のインストールコマンド

macOS

Homebrew確認済み · 100%
brew install ppl

local Homebrew formula metadata

MacPorts確認済み · 94%
sudo port install ppl

MacPorts ports tree · devel/ppl/Portfile · ソース: api.github.com

Linux

Fedora dnf確認済み · 92%
sudo dnf install ppl

Fedora Rawhide package metadata · ppl · ソース: dl.fedoraproject.org

Nix確認済み · 92%
nix profile install nixpkgs#ppl

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

Arch Linux pacman確認済み · 92%
sudo pacman -S ppl

Arch Linux sync databases · ppl · ソース: geo.mirror.pkgbuild.com

openSUSE zypper確認済み · 92%
sudo zypper install ppl

openSUSE Tumbleweed package metadata · ppl · ソース: download.opensuse.org

Debian apt確認済み · 92%
sudo apt install libppl-c4

Debian stable package indexes · libppl-c4 · ソース: deb.debian.org

概要

パッケージ概要

Parma Polyhedra Library: numerical abstractions for analysis, verification

コマンドとエイリアス

  • ppl-config
  • ppl_lcdd
  • ppl_pips

セキュリティ状態

リスクレベル: グリーン

library-like package without higher-risk signals.

リスク分類器

リスク グリーン · 信頼度 低 · appliance

理由

  • library-like package without higher-risk signals

信号

  • metadata:library-like

インストール挙動

  • formula メタデータに Homebrew post-install フックは記録されていません。
  • Homebrew bottle メタデータは 13 個のプラットフォームターゲットで利用できます。
  • 1 件の実行時依存関係とともにインストールされます。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド種類公開範囲メモ
ppl-configcliグローバル実行可能ファイル
ppl_lcddcliグローバル実行可能ファイル
ppl_pipscliグローバル実行可能ファイル

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-07-25
マネージャ版1.2
マネージャ更新日2026-07-11
ローカルデータOK
上流not checked
検出された最新未検出

https://www.bugseng.com/ppl

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:ppl
バージョン1.2
パッケージマネージャHomebrew
パッケージマネージャページhttps://formulae.brew.sh/formula/ppl
ホームページhttps://www.bugseng.com/ppl
リポジトリhttps://github.com/BUGSENG/PPL
上流ドキュメントhttps://github.com/BUGSENG/PPL#readme
ライセンスGPL-3.0-or-later
ソースアーカイブhttps://deb.debian.org/debian/pool/main/p/ppl/ppl_1.2.orig.tar.xz
最終更新2026-07-11T16:46:51+09:00
Pulseupdated
依存関係gmp
Bottle利用可能 (対象 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未定義
サービス宣言なし

レジストリ情報

ソースデータベース詳細

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

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

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 依存関係
  • normalized package name match
  • 一致条件: 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 依存関係
  • 2 提供
  • 2 任意依存関係
  • normalized package name match
  • 一致条件: 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 依存関係
  • normalized package name match
  • 一致条件: 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 依存関係
  • normalized package name match
  • 一致条件: 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 依存関係
  • normalized package name match
  • 一致条件: 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 依存関係
  • normalized package name match
  • 一致条件: 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
  • 一致条件: 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 依存関係
  • normalized package name match
  • 一致条件: 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 依存関係
  • 2 提供
  • 2 任意依存関係
  • normalized package name match
  • 一致条件: 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 依存関係
  • normalized package name match
  • 一致条件: 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 依存関係
  • normalized package name match
  • 一致条件: 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 依存関係
  • normalized package name match
  • 一致条件: 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 依存関係
  • normalized package name match
  • 一致条件: 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 依存関係
  • 3 提供
  • normalized package name match
  • 一致条件: 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 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: 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 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: 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

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

関連ツール

  • gmpHomebrew dependency.

同じワークフロー

  • 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.

エージェント安全ガイド

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

  • 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