# 使用 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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-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 - **版本:** 1.2 - **来源摘要:** Parma Polyhedra Library: numerical abstractions for analysis, verification - **主页:** - **最后更新:** 2026-07-11T16:46:51+09:00 - **已生成:** 2026-08-03T19:37:03+00:00 ## 可执行文件 - ppl-config (别名) - ppl_lcdd (别名) - ppl_pips (别名) ## 安装行为 - Bottle: 不可用 ## 版本和新鲜度 - 页面生成时间: 2026-08-03 - 管理器版本: 1.2 ## 安全说明 library-like package without higher-risk signals. - **Geiger 风险:** 绿色 / 低 - library-like package without higher-risk signals ## 其他软件包管理器记录 - 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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst | Documentation for the Parma Polyhedra Library | http://www.bugseng.com/ppl ## 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 - pkgdb category and tag curation - external package-manager database matches - cross-ecosystem install command graph