# 使用 Homebrew, dnf, MacPorts, Nix, pacman, zypper, apt 安装 ppl

查看 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/zh-hans/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Developer build packages](https://pkg.so/zh-hans/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [Networking and protocol packages](https://pkg.so/zh-hans/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [Scientific computing packages](https://pkg.so/zh-hans/scientific-computing-tools/) - Matched scientific computing metadata.
- [cddlib](https://pkg.so/zh-hans/brew/cddlib/) - Shares pkgdb curated category or tags: cli, mathematics, polyhedra, science.
- [maxima](https://pkg.so/zh-hans/brew/maxima/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [singular](https://pkg.so/zh-hans/brew/singular/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [pari](https://pkg.so/zh-hans/brew/pari/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [primecount](https://pkg.so/zh-hans/brew/primecount/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [msolve](https://pkg.so/zh-hans/brew/msolve/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [primesieve](https://pkg.so/zh-hans/brew/primesieve/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [nauty](https://pkg.so/zh-hans/brew/nauty/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [sollya](https://pkg.so/zh-hans/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