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

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

## インストール

```sh
sudo av install brew:ppl
```

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

### macOS

- Homebrew (100%):

```sh
brew install ppl
```

  証拠: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install ppl
```

  証拠: MacPorts ports tree: devel/ppl/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Linux

- dnf (92%):

```sh
sudo dnf install ppl
```

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

- Nix (92%):

```sh
nix profile install nixpkgs#ppl
```

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

- pacman (92%):

```sh
sudo pacman -S ppl
```

  証拠: Arch Linux sync databases: ppl from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

- zypper (92%):

```sh
sudo zypper install ppl
```

  証拠: openSUSE Tumbleweed package metadata: ppl from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst

- Debian apt (92%):

```sh
sudo apt install libppl-c4
```

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

## パッケージ情報

- **パッケージキー:** brew:ppl
- **パッケージマネージャ:** Homebrew
- **パッケージマネージャページ:** <https://formulae.brew.sh/formula/ppl>
- **バージョン:** 1.2
- **ソース概要:** Parma Polyhedra Library: numerical abstractions for analysis, verification
- **ホームページ:** <https://www.bugseng.com/ppl>
- **上流ドキュメント:** <https://www.bugseng.com/ppl>
- **ライセンス:** 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
- **生成日時:** 2026-08-04T22:13:35+00:00

## 実行可能ファイル

- ppl-config (cli)
- ppl_lcdd (cli)
- ppl_pips (cli)
- ppl-config (エイリアス)
- ppl_lcdd (エイリアス)
- ppl_pips (エイリアス)

## 依存関係

- gmp

## インストール挙動

- post-install フック: 未定義
- Bottle: 利用可能 対象 arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura

## バージョンと鮮度

- ページ生成日: 2026-08-04
- マネージャ版: 1.2
- マネージャ更新日: 2026-07-11
- ローカルデータ: OK
- 上流リポジトリ: https://www.bugseng.com/ppl
- 情報: Release/tag comparison is only available for GitHub repositories.

## セキュリティノート

library-like package without higher-risk signals.

- **Geiger リスク:** グリーン / 低
- library-like package without higher-risk signals

## ソースデータベース詳細

- **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

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

- Debian apt - libppl-c4 - 1:1.2-8.1+b3: normalized package name match | Debian stable package indexes: libppl-c4 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Parma Polyhedra Library (C interface) | http://www.cs.unipr.it/ppl/
- Debian apt - libppl-dev - 1:1.2-8.1+b3: normalized package name match | Debian stable package indexes: libppl-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Parma Polyhedra Library (development) | http://www.cs.unipr.it/ppl/
- Debian apt - libppl-doc - 1:1.2-8.1: normalized package name match | Debian stable package indexes: libppl-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Parma Polyhedra Library: Documentation | http://www.cs.unipr.it/ppl/
- Debian apt - libppl-swi - 1:1.2-8.1+b3: normalized package name match | Debian stable package indexes: libppl-swi from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Parma Polyhedra Library (SWI Prolog interface) | http://www.cs.unipr.it/ppl/
- Debian apt - libppl14 - 1:1.2-8.1+b3: normalized package name match | Debian stable package indexes: libppl14 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Parma Polyhedra Library (runtime library) | http://www.cs.unipr.it/ppl/
- Debian apt - ppl-dev - 1:1.2-8.1+b3: normalized package name match | Debian stable package indexes: ppl-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Parma Polyhedra Library (development binaries) | http://www.cs.unipr.it/ppl/
- Nix - ppl: normalized package name match | nixpkgs package indexes: pkgs/by-name/pp/ppl/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- Ubuntu apt - libppl-c4 - 1:1.2-8.1build5: normalized package name match | Ubuntu 24.04 LTS package indexes: libppl-c4 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Parma Polyhedra Library (C interface) | http://www.cs.unipr.it/ppl/
- Ubuntu apt - libppl-dev - 1:1.2-8.1build5: normalized package name match | Ubuntu 24.04 LTS package indexes: libppl-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Parma Polyhedra Library (development) | http://www.cs.unipr.it/ppl/
- Ubuntu apt - libppl-doc - 1:1.2-8.1build5: normalized package name match | Ubuntu 24.04 LTS package indexes: libppl-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Parma Polyhedra Library: Documentation | http://www.cs.unipr.it/ppl/
- Ubuntu apt - libppl-swi - 1:1.2-8.1build5: normalized package name match | Ubuntu 24.04 LTS package indexes: libppl-swi from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Parma Polyhedra Library (SWI Prolog interface) | http://www.cs.unipr.it/ppl/
- Ubuntu apt - libppl14 - 1:1.2-8.1build5: normalized package name match | Ubuntu 24.04 LTS package indexes: libppl14 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Parma Polyhedra Library (runtime library) | http://www.cs.unipr.it/ppl/
- Ubuntu apt - ppl-dev - 1:1.2-8.1build5: normalized package name match | Ubuntu 24.04 LTS package indexes: ppl-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Parma Polyhedra Library (development binaries) | http://www.cs.unipr.it/ppl/
- dnf - ppl - 1.2-40.fc45: normalized package name match | Fedora Rawhide package metadata: ppl from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst | The Parma Polyhedra Library: a library of numerical abstractions | http://www.bugseng.com/ppl
- dnf - ppl-devel - 1.2-40.fc45: normalized package name match | Fedora Rawhide package metadata: ppl-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst | Development tools for the Parma Polyhedra Library C and C++ interfaces | http://www.bugseng.com/ppl
- dnf - ppl-docs - 1.2-40.fc45: normalized package name match | Fedora Rawhide package metadata: ppl-docs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst | Documentation for the Parma Polyhedra Library | http://www.bugseng.com/ppl


## 関連リンク

- [Terminal utility packages](https://pkg.so/ja/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Developer build packages](https://pkg.so/ja/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [Networking and protocol packages](https://pkg.so/ja/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [Scientific computing packages](https://pkg.so/ja/scientific-computing-tools/) - Matched scientific computing metadata.
- [cddlib](https://pkg.so/ja/brew/cddlib/) - Shares pkgdb curated category or tags: cli, mathematics, polyhedra, science.
- [maxima](https://pkg.so/ja/brew/maxima/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [singular](https://pkg.so/ja/brew/singular/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [pari](https://pkg.so/ja/brew/pari/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [primecount](https://pkg.so/ja/brew/primecount/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [msolve](https://pkg.so/ja/brew/msolve/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [primesieve](https://pkg.so/ja/brew/primesieve/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [nauty](https://pkg.so/ja/brew/nauty/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [sollya](https://pkg.so/ja/brew/sollya/) - Local package facts share a topical domain. Shared terms: analysis, cli, gmp, mathematics, numerical.

## Combined YAML source

View the package source record on GitHub. [combined/ppl.yml](https://github.com/mxcl/pkgdb/blob/main/combined/ppl.yml)


## ソース

- pkg.so package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- pkgdb category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph