macOS
Homebrew確認済み · 100%
brew install polymllocal Homebrew formula metadata
MacPorts確認済み · 94%
sudo port install polymlMacPorts ports tree · lang/polyml/Portfile · ソース: api.github.com
brew
polyml を Homebrew, apk, dnf, MacPorts, Nix, pacman, apt でインストール
polyml のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
追加のインストールコマンド
Linux
Alpine Linux apk確認済み · 92%
sudo apk add polymlAlpine Linux edge package indexes · polyml · ソース: dl-cdn.alpinelinux.org
Fedora dnf確認済み · 92%
sudo dnf install polymlFedora Rawhide package metadata · polyml · ソース: dl.fedoraproject.org
Nix確認済み · 92%
nix profile install nixpkgs#polymlnixpkgs package indexes · pkgs/by-name/po/polyml/package.nix · ソース: api.github.com
Arch Linux pacman確認済み · 92%
sudo pacman -S polymlArch Linux sync databases · polyml · ソース: geo.mirror.pkgbuild.com
Ubuntu apt確認済み · 92%
sudo apt install polymlUbuntu 24.04 LTS package indexes · polyml · ソース: archive.ubuntu.com
概要
パッケージ概要
Standard ML implementation
プロジェクトリンク
コマンドとエイリアス
- poly
- polyc
- polyimport
セキュリティ状態
リスクレベル: グリーン
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 メタデータは 6 個のプラットフォームターゲットで利用できます。
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
poly | cli | グローバル実行可能ファイル | |
polyc | cli | グローバル実行可能ファイル | |
polyimport | cli | グローバル実行可能ファイル |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
ページ生成日2026-07-25
マネージャ版5.9.2
マネージャ更新日
ローカルデータOK
上流最新
検出された最新v5.9.2
https://github.com/polyml/polyml
- 情報No package-manager update timestamp was available.信頼度 低
インストールメタデータ
パッケージメタデータ
| パッケージキー | brew:polyml |
|---|---|
| バージョン | 5.9.2 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/polyml |
| ホームページ | https://www.polyml.org/ |
| リポジトリ | https://github.com/polyml/polyml |
| 上流ドキュメント | https://polyml.org/Doc.html |
| ライセンス | LGPL-2.1-or-later |
| ソースアーカイブ | https://github.com/polyml/polyml/archive/refs/tags/v5.9.2.tar.gz |
| Bottle | 利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | 未定義 |
| サービス | 宣言なし |
レジストリ情報
ソースデータベース詳細
| 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 |
|
ソースデータベース一致
他のパッケージマネージャ記録
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
Nix95%
polyml
nix profile install nixpkgs#polyml- normalized package name match
- 一致条件: Polyml
Ubuntu apt95%
libpolyml-dev 5.7.1-5build1
development files for Poly/ML, a compiler for Standard ML
sudo apt install libpolyml-dev- Section: universe/libdevel
- Architecture: amd64
- Source Package: polyml
- 1 依存関係
- normalized package name match
- 一致条件: Polyml
Ubuntu apt95%
libpolyml9 5.7.1-5build1
runtime files for Poly/ML, a compiler for Standard ML
sudo apt install libpolyml9- Section: universe/libs
- Architecture: amd64
- Source Package: polyml
- 4 依存関係
- normalized package name match
- 一致条件: Polyml
Ubuntu apt95%
polyml 5.7.1-5build1
interpreter and interactive compiler for Standard ML
sudo apt install polyml- Section: universe/interpreters
- Architecture: amd64
- 6 依存関係
- normalized package name match
- 一致条件: Polyml
Ubuntu apt95%
polyml-modules 5.7.1-5build1
modules for Poly/ML, a compiler for Standard ML
sudo apt install polyml-modules- Section: universe/libs
- Architecture: amd64
- Source Package: polyml
- normalized package name match
- 一致条件: Polyml
apk95%
polyml 5.9.2-r0
ML97 compatible Standard ML implementation
sudo apk add polyml- License: LGPL-2.1-only
- Architecture: x86_64
- Source Package: polyml
- 1 依存関係
- 1 提供
- normalized package name match
- 一致条件: Polyml
apk95%
polyml-dev 5.9.2-r0
ML97 compatible Standard ML implementation (development files)
sudo apk add polyml-dev- License: LGPL-2.1-only
- Architecture: x86_64
- Source Package: polyml
- 1 依存関係
- 1 提供
- normalized package name match
- 一致条件: Polyml
apk95%
polyml-doc 5.9.2-r0
ML97 compatible Standard ML implementation (documentation)
sudo apk add polyml-doc- License: LGPL-2.1-only
- Architecture: x86_64
- Source Package: polyml
- normalized package name match
- 一致条件: Polyml
dnf95%
polyml 5.9.2-3.fc44
Poly/ML compiler and runtime system
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
dnf95%
polyml-doc 5.9.2-3.fc44
Poly/ML documentation
sudo dnf install polyml-doc- License: LGPL-2.1-or-later
- Category: Unspecified
- Architecture: noarch
- Source Package: polyml
- 1 提供
- normalized package name match
- 一致条件: Polyml
dnf95%
polyml-libs 5.9.2-3.fc44
Poly/ML runtime libraries
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
pacman95%
polyml 5.9.2-1
Standard ML compiler originally written in Poly
sudo pacman -S polyml- License: LGPL
- Architecture: x86_64
- 2 依存関係
- normalized package name match
- 一致条件: Polyml
MacPorts95%
polyml
sudo port install polyml- normalized package name match
- 一致条件: Polyml
Nix92%
poly
nix profile install nixpkgs#poly- installed executable or alias match
- 一致条件: Poly
ソース経路
リポジトリデータから生成
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
Combined YAML source
View the package source record on GitHub.
使用ソース
- 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