# 使用 Homebrew, apk, dnf, MacPorts, Nix, pacman, apt 安装 polyml

查看 polyml 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

## 安装

```sh
sudo av install brew:polyml
```

其他安装命令:

### macOS

- Homebrew (100%):

```sh
brew install polyml
```

  证据: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install polyml
```

  证据: MacPorts ports tree: lang/polyml/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Linux

- apk (92%):

```sh
sudo apk add polyml
```

  证据: Alpine Linux edge package indexes: polyml from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

- dnf (92%):

```sh
sudo dnf install polyml
```

  证据: Fedora Rawhide package metadata: polyml 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#polyml
```

  证据: nixpkgs package indexes: pkgs/by-name/po/polyml/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

- pacman (92%):

```sh
sudo pacman -S polyml
```

  证据: Arch Linux sync databases: polyml from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

- Ubuntu apt (92%):

```sh
sudo apt install polyml
```

  证据: Ubuntu 24.04 LTS package indexes: polyml from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

## 软件包事实

- **软件包键:** brew:polyml
- **软件包管理器:** Homebrew
- **软件包管理器页面:** <https://formulae.brew.sh/formula/polyml>
- **版本:** 5.9.2
- **来源摘要:** Standard ML implementation
- **主页:** <https://www.polyml.org/>
- **仓库:** <https://github.com/polyml/polyml>
- **上游文档:** <https://www.polyml.org/>
- **许可证:** LGPL-2.1-or-later
- **源码归档:** <https://github.com/polyml/polyml/archive/refs/tags/v5.9.2.tar.gz>
- **已生成:** 2026-08-04T22:13:35+00:00

## 可执行文件

- poly (cli)
- polyc (cli)
- polyimport (cli)
- poly (别名)
- polyc (别名)
- polyimport (别名)

## 安装行为

- post-install 钩子: 未定义
- Bottle: 可用 于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## 版本和新鲜度

- 页面生成时间: 2026-08-04
- 管理器版本: 5.9.2
- 本地数据: OK
- 上游仓库: https://github.com/polyml/polyml
- 检测到的最新版本: v5.9.2 (当前)
- 信息: No package-manager update timestamp was available.

## 安全说明

narrow executable package without higher-risk signals.

- **Geiger 风险:** 绿色 / 低
- narrow executable package without higher-risk signals

## 源数据库详情

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** polyml
- **Version Scheme:** 0
- **Revision:** 0
- **Head Version:** HEAD
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** head, stable

## 其他软件包管理器记录

- Nix - polyml: normalized package name match | nixpkgs package indexes: pkgs/by-name/po/polyml/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- Ubuntu apt - libpolyml-dev - 5.7.1-5build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libpolyml-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | development files for Poly/ML, a compiler for Standard ML | http://www.polyml.org
- Ubuntu apt - libpolyml9 - 5.7.1-5build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libpolyml9 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | runtime files for Poly/ML, a compiler for Standard ML | http://www.polyml.org
- Ubuntu apt - polyml - 5.7.1-5build1: normalized package name match | Ubuntu 24.04 LTS package indexes: polyml from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | interpreter and interactive compiler for Standard ML | http://www.polyml.org
- Ubuntu apt - polyml-modules - 5.7.1-5build1: normalized package name match | Ubuntu 24.04 LTS package indexes: polyml-modules from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | modules for Poly/ML, a compiler for Standard ML | http://www.polyml.org
- apk - polyml - 5.9.2-r0: normalized package name match | Alpine Linux edge package indexes: polyml from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | ML97 compatible Standard ML implementation | https://www.polyml.org/
- apk - polyml-dev - 5.9.2-r0: normalized package name match | Alpine Linux edge package indexes: polyml-dev from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | ML97 compatible Standard ML implementation (development files) | https://www.polyml.org/
- apk - polyml-doc - 5.9.2-r0: normalized package name match | Alpine Linux edge package indexes: polyml-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | ML97 compatible Standard ML implementation (documentation) | https://www.polyml.org/
- dnf - polyml - 5.9.2-5.fc45: normalized package name match | Fedora Rawhide package metadata: polyml from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst | Poly/ML compiler and runtime system | https://www.polyml.org/
- dnf - polyml-doc - 5.9.2-5.fc45: normalized package name match | Fedora Rawhide package metadata: polyml-doc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst | Poly/ML documentation | https://www.polyml.org/
- dnf - polyml-libs - 5.9.2-5.fc45: normalized package name match | Fedora Rawhide package metadata: polyml-libs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst | Poly/ML runtime libraries | https://www.polyml.org/
- pacman - polyml - 5.9.2-1: normalized package name match | Arch Linux sync databases: polyml from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz | Standard ML compiler originally written in Poly | https://polyml.org/
- MacPorts - polyml: normalized package name match | MacPorts ports tree: lang/polyml/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
- Nix - poly: installed executable or alias match | nixpkgs package indexes: pkgs/by-name/po/poly/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1


## 相关链接

- [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.
- [Language runtime packages](https://pkg.so/zh-hans/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata.
- [Networking and protocol packages](https://pkg.so/zh-hans/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [julia](https://pkg.so/zh-hans/brew/julia/) - Shares pkgdb curated category or tags: cli, compiler, language-runtime, programming-language, repl.
- [mosml](https://pkg.so/zh-hans/brew/mosml/) - Shares pkgdb curated category or tags: cli, compiler, language-runtime, programming-language, standard-ml.
- [rust](https://pkg.so/zh-hans/brew/rust/) - Shares pkgdb curated category or tags: cli, compiler, language-runtime, programming-language.
- [lua](https://pkg.so/zh-hans/brew/lua/) - Shares pkgdb curated category or tags: cli, compiler, language-runtime, programming-language.
- [kotlin](https://pkg.so/zh-hans/brew/kotlin/) - Shares pkgdb curated category or tags: cli, compiler, language-runtime, programming-language.
- [nim](https://pkg.so/zh-hans/brew/nim/) - Shares pkgdb curated category or tags: cli, compiler, language-runtime, programming-language.
- [scala](https://pkg.so/zh-hans/brew/scala/) - Shares pkgdb curated category or tags: cli, compiler, language-runtime, programming-language.
- [clojure](https://pkg.so/zh-hans/brew/clojure/) - Shares pkgdb curated category or tags: cli, language-runtime, programming-language, repl.
- [mlkit](https://pkg.so/zh-hans/brew/mlkit/) - Local package facts share a topical domain. Shared terms: cli, compiler, language, language-runtime, ml.

## Combined YAML source

View the package source record on GitHub. [combined/polyml.yml](https://github.com/mxcl/pkgdb/blob/main/combined/polyml.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
