インストール

Automic Vault でインストール

Automic Vault

sudo av install brew:polyml

macOS

Homebrewverified · 100%

brew install polyml

local Homebrew formula metadata

MacPortsverified · 94%

sudo port install polyml

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

Linux

Alpine Linux apkverified · 92%

sudo apk add polyml

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

Fedora dnfverified · 92%

sudo dnf install polyml

Fedora Rawhide package metadata · polyml · source: dl.fedoraproject.org

Nixverified · 92%

nix profile install nixpkgs#polyml

nixpkgs package indexes · polyml · source: raw.githubusercontent.com

Arch Linux pacmanverified · 92%

sudo pacman -S polyml

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

Ubuntu aptverified · 92%

sudo apt install libpolyml-dev

Ubuntu 24.04 LTS package indexes · libpolyml-dev · source: archive.ubuntu.com

パッケージマネージャソース

https://formulae.brew.sh/formula/polyml

プラットフォームノート

パッケージ固有のプラットフォームノートはありません。

概要

パッケージ概要

Standard ML implementation

ホームページ

https://www.polyml.org/

コマンドとエイリアス

poly
polyc
polyimport

セキュリティ状態

リスクレベル: green

narrow executable package without higher-risk signals.

Risk classifier

green risk · low confidence · appliance

Why

narrow executable package without higher-risk signals

Signals

metadata:no-higher-risk-signals

Install behavior

No Homebrew post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 6 platform targets.

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド	種類	公開範囲
`poly`	cli	global executable
`polyc`	cli	global executable
`polyimport`	cli	global executable

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-06-10

マネージャ版5.9.2

マネージャ更新日

ローカルデータok

上流current

検出された最新v5.9.2

https://github.com/polyml/polyml

infoNo package-manager update timestamp was available.low confidence

インストールメタデータ

パッケージメタデータ

Package key	brew:polyml
Version	5.9.2
Package manager	Homebrew
Package manager page	https://formulae.brew.sh/formula/polyml
Homepage	https://www.polyml.org/
Repository	https://github.com/polyml/polyml
Upstream docs	https://polyml.org/Doc.html
License	LGPL-2.1-or-later
Source archive	https://github.com/polyml/polyml/archive/refs/tags/v5.9.2.tar.gz
Bottle	available (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	not defined
Service	none declared

registry facts

Source database details

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

source database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

Nix95%

polyml

nix profile install nixpkgs#polyml

normalized package name match
Matched by: Polyml

nixpkgs package indexes · raw.githubusercontent.com · nixpkgs package indexes: polyml from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix

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 dependencies
normalized package name match
Matched by: 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 dependencies
normalized package name match
Matched by: 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 dependencies
normalized package name match
Matched by: 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
Matched by: 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 dependencies
1 provides
normalized package name match
Matched by: 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 dependencies
1 provides
normalized package name match
Matched by: 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
Matched by: 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-3.fc44

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 dependencies
2 provides
normalized package name match
Matched by: 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/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst

dnf95%

polyml-doc 5.9.2-3.fc44

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 provides
normalized package name match
Matched by: 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/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst

dnf95%

polyml-libs 5.9.2-3.fc44

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 dependencies
2 provides
normalized package name match
Matched by: 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/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-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 dependencies
normalized package name match
Matched by: 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
Matched by: 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
Matched by: 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

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

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

polyml をインストール

Automic Vault でインストール

macOS

Linux

パッケージマネージャソース

プラットフォームノート

パッケージ概要

ホームページ

コマンドとエイリアス

リスクレベル: green

Risk classifier

Why

Signals

Install behavior

推奨レビュー

インストールされる実行可能ファイル

バージョンと鮮度

パッケージメタデータ

Source database details

Other package-manager records

内部パッケージリンク

トピック別ハブ

同じワークフロー

Agent security guides

リポジトリデータから生成

使用ソース