pkg.soopen package index

brew / 順位 8933

polyml を Homebrew, apk, dnf, MacPorts, Nix, pacman, apt でインストール

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

パッケージグラフ

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

関連ツール

ソース経路

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

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

使用ソース

  • 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