pkg.soopen package index

brew / 排名 8933

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

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

安装命令安全说明

安装

其他安装命令

macOS

Homebrew已验证 · 100%
brew install polyml

local Homebrew formula metadata

MacPorts已验证 · 94%
sudo port install polyml

MacPorts ports tree · lang/polyml/Portfile · 来源: api.github.com

Linux

Alpine Linux apk已验证 · 92%
sudo apk add polyml

Alpine Linux edge package indexes · polyml · 来源: dl-cdn.alpinelinux.org

Fedora dnf已验证 · 92%
sudo dnf install polyml

Fedora Rawhide package metadata · polyml · 来源: dl.fedoraproject.org

Nix已验证 · 92%
nix profile install nixpkgs#polyml

nixpkgs package indexes · pkgs/by-name/po/polyml/package.nix · 来源: api.github.com

Arch Linux pacman已验证 · 92%
sudo pacman -S polyml

Arch Linux sync databases · polyml · 来源: geo.mirror.pkgbuild.com

Ubuntu apt已验证 · 92%
sudo apt install polyml

Ubuntu 24.04 LTS package indexes · polyml · 来源: archive.ubuntu.com

概览

软件包摘要

Standard ML implementation

命令和别名

  • poly
  • polyc
  • polyimport

历史

项目历史与用法

Poly/ML is a long-running implementation of Standard ML with an interactive environment, native-code compiler, debugger, Basis Library, threading support, and foreign-function interface.

项目历史

David Matthews originally wrote the system at Cambridge University's Computer Laboratory in the experimental Poly language. It was subsequently developed by Abstract Hardware Limited and translated into Standard ML.

Cambridge University Technical Services reacquired the rights in 1999 and agreed to make Poly/ML freely available. Later work implemented the Standard Basis Library, completed support for the revised Standard ML definition, and rewrote the runtime system.

采用历史

Poly/ML became closely associated with large formal-methods systems. The official site names Isabelle and HOL4 as major projects for which it is a preferred implementation.

使用方式

Run `poly` for an interactive Standard ML session, load source into the top level during development, or use the compiler and export facilities to build applications. It is particularly common in theorem-proving and other large Standard ML codebases.

为什么软件包爱好者会关心

Poly/ML is one of the durable Standard ML implementations available through general-purpose package managers. It is especially notable for combining an interactive top level and fast native-code compiler with threads, garbage-collector multiprocessor support, debugging, and foreign-function facilities.

For language-runtime collectors, Poly/ML represents a distinct Standard ML niche: SML/NJ emphasizes an interactive programming environment, while MLton specializes in whole-program optimization. Poly/ML's continued use by theorem provers gives it relevance beyond language preservation.

时间线

  • 1980s: David Matthews develops the original Poly system at Cambridge.
  • 1999: Cambridge University Technical Services reacquires the rights and makes Poly/ML freely available.
  • 2000s: The runtime is rewritten and the system gains full support for revised Standard ML.

Related projects

  • Isabelle and HOL4 are prominent theorem-proving systems documented by Poly/ML as large projects using the runtime.
  • SML/NJ and MLton are the most directly useful packaged alternatives within the Standard ML implementation ecosystem.

安全态势

风险级别：绿色

narrow executable package without higher-risk signals.

风险分类器

绿色 风险 · 低 置信度 · appliance

原因

  • narrow executable package without higher-risk signals

信号

  • metadata:no-higher-risk-signals

安装行为

  • formula 元数据中未记录 Homebrew post-install 钩子。
  • Homebrew bottle 元数据适用于 7 个平台目标。

建议审查

在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令类型暴露范围备注
polycli全局可执行文件
polyccli全局可执行文件
polyimportcli全局可执行文件

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。

页面生成时间2026-11-04
管理器版本5.9.2
管理器更新时间2026-09-13
本地数据OK
上游当前
检测到的最新版本v5.9.2

https://github.com/polyml/polyml

  • OK没有生成新鲜度警告。

安装元数据

软件包元数据

软件包键brew:polyml
版本5.9.2
软件包管理器Homebrew
软件包管理器页面https://formulae.brew.sh/formula/polyml
主页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-09-13T11:53:53Z
Pulseupdated
Bottle可用 (于 arm64_golden_gate, arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install未定义
服务未声明

注册表事实

源数据库详情

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namepolyml
Version Scheme0
Revision0
Head VersionHEAD
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • head
  • stable

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引，并与本地 Automic Vault 软件包链接分开显示。

Nix95%

polyml

nix profile install nixpkgs#polyml
  • normalized package name match
  • 匹配方式：Polyml
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/po/polyml/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
Ubuntu apt95%

libpolyml-dev 5.7.1-5build1

development files for Poly/ML, a compiler for Standard ML

http://www.polyml.org

sudo apt install libpolyml-dev
  • Section: universe/libdevel
  • Architecture: amd64
  • Source Package: polyml
  • 1 依赖
  • normalized package name match
  • 匹配方式：Polyml
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libpolyml-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libpolyml9 5.7.1-5build1

runtime files for Poly/ML, a compiler for Standard ML

http://www.polyml.org

sudo apt install libpolyml9
  • Section: universe/libs
  • Architecture: amd64
  • Source Package: polyml
  • 4 依赖
  • normalized package name match
  • 匹配方式：Polyml
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libpolyml9 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

polyml 5.7.1-5build1

interpreter and interactive compiler for Standard ML

http://www.polyml.org

sudo apt install polyml
  • Section: universe/interpreters
  • Architecture: amd64
  • 6 依赖
  • normalized package name match
  • 匹配方式：Polyml
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: polyml from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

polyml-modules 5.7.1-5build1

modules for Poly/ML, a compiler for Standard ML

http://www.polyml.org

sudo apt install polyml-modules
  • Section: universe/libs
  • Architecture: amd64
  • Source Package: polyml
  • normalized package name match
  • 匹配方式：Polyml
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: polyml-modules from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
apk95%

polyml 5.9.2-r0

ML97 compatible Standard ML implementation

https://www.polyml.org/

sudo apk add polyml
  • License: LGPL-2.1-only
  • Architecture: x86_64
  • Source Package: polyml
  • 1 依赖
  • 1 提供
  • normalized package name match
  • 匹配方式：Polyml
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: polyml from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

polyml-dev 5.9.2-r0

ML97 compatible Standard ML implementation (development files)

https://www.polyml.org/

sudo apk add polyml-dev
  • License: LGPL-2.1-only
  • Architecture: x86_64
  • Source Package: polyml
  • 1 依赖
  • 1 提供
  • normalized package name match
  • 匹配方式：Polyml
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: polyml-dev from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

polyml-doc 5.9.2-r0

ML97 compatible Standard ML implementation (documentation)

https://www.polyml.org/

sudo apk add polyml-doc
  • License: LGPL-2.1-only
  • Architecture: x86_64
  • Source Package: polyml
  • normalized package name match
  • 匹配方式：Polyml
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: polyml-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
dnf95%

polyml 5.9.2-5.fc45

Poly/ML compiler and runtime system

https://www.polyml.org/

sudo dnf install polyml
  • License: LGPL-2.1-or-later
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: polyml
  • 7 依赖
  • 2 提供
  • normalized package name match
  • 匹配方式：Polyml
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: polyml from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/652278618dec9c023176a80c435a32a2c8154869fb0eb662c267a54df28d77d9-primary.xml.zst
dnf95%

polyml-doc 5.9.2-5.fc45

Poly/ML documentation

https://www.polyml.org/

sudo dnf install polyml-doc
  • License: LGPL-2.1-or-later
  • Category: Unspecified
  • Architecture: noarch
  • Source Package: polyml
  • 1 提供
  • normalized package name match
  • 匹配方式：Polyml
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: polyml-doc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/652278618dec9c023176a80c435a32a2c8154869fb0eb662c267a54df28d77d9-primary.xml.zst
dnf95%

polyml-libs 5.9.2-5.fc45

Poly/ML runtime libraries

https://www.polyml.org/

sudo dnf install polyml-libs
  • License: LGPL-2.1-or-later
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: polyml
  • 7 依赖
  • 2 提供
  • normalized package name match
  • 匹配方式：Polyml
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: polyml-libs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/652278618dec9c023176a80c435a32a2c8154869fb0eb662c267a54df28d77d9-primary.xml.zst
pacman95%

polyml 5.9.2-1

Standard ML compiler originally written in Poly

https://polyml.org/

sudo pacman -S polyml
  • License: LGPL
  • Architecture: x86_64
  • 2 依赖
  • normalized package name match
  • 匹配方式：Polyml
Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: polyml from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz
MacPorts95%

polyml

sudo port install polyml
  • normalized package name match
  • 匹配方式：Polyml
MacPorts ports tree · api.github.com · MacPorts ports tree: lang/polyml/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
Nix92%

poly

nix profile install nixpkgs#poly
  • installed executable or alias match
  • 匹配方式：Poly
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/po/poly/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

相关工具

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

使用的来源

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