macOS
brew install polymllocal Homebrew formula metadata
sudo port install polymlMacPorts ports tree · lang/polyml/Portfile · ソース: api.github.com
brew / 順位 7813
polyml のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
brew install polymllocal Homebrew formula metadata
sudo port install polymlMacPorts ports tree · lang/polyml/Portfile · ソース: api.github.com
sudo apk add polymlAlpine Linux edge package indexes · polyml · ソース: dl-cdn.alpinelinux.org
sudo dnf install polymlFedora Rawhide package metadata · polyml · ソース: dl.fedoraproject.org
nix profile install nixpkgs#polymlnixpkgs package indexes · pkgs/by-name/po/polyml/package.nix · ソース: api.github.com
sudo pacman -S polymlArch Linux sync databases · polyml · ソース: geo.mirror.pkgbuild.com
sudo apt install polymlUbuntu 24.04 LTS package indexes · polyml · ソース: archive.ubuntu.com
概要
Standard ML implementation
セキュリティ状態
narrow executable package without higher-risk signals.
リスク グリーン · 信頼度 低 · appliance
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
poly | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
polyc | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
polyimport | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
インストールメタデータ
| パッケージキー | brew:polyml |
|---|---|
| バージョン | 5.9.2 |
| パッケージマネージャ | Homebrew |
| ホームページ | https://www.polyml.org/ |
| リポジトリ | https://github.com/polyml/polyml |
| Bottle | 未記録 |
| サービス | 宣言なし |
ソースデータベース一致
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
polyml
nix profile install nixpkgs#polymllibpolyml-dev 5.7.1-5build1
development files for Poly/ML, a compiler for Standard ML
sudo apt install libpolyml-devlibpolyml9 5.7.1-5build1
runtime files for Poly/ML, a compiler for Standard ML
sudo apt install libpolyml9polyml 5.7.1-5build1
interpreter and interactive compiler for Standard ML
sudo apt install polymlpolyml-modules 5.7.1-5build1
modules for Poly/ML, a compiler for Standard ML
sudo apt install polyml-modulespolyml 5.9.2-r0
ML97 compatible Standard ML implementation
sudo apk add polymlpolyml-dev 5.9.2-r0
ML97 compatible Standard ML implementation (development files)
sudo apk add polyml-devpolyml-doc 5.9.2-r0
ML97 compatible Standard ML implementation (documentation)
sudo apk add polyml-docpolyml 5.9.2-5.fc45
Poly/ML compiler and runtime system
sudo dnf install polymlpolyml-doc 5.9.2-5.fc45
Poly/ML documentation
sudo dnf install polyml-docpolyml-libs 5.9.2-5.fc45
Poly/ML runtime libraries
sudo dnf install polyml-libspolyml 5.9.2-1
Standard ML compiler originally written in Poly
sudo pacman -S polymlpolyml
sudo port install polymlpoly
nix profile install nixpkgs#polyソース経路
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
View the package source record on GitHub.