macOS
brew install smlpkglocal Homebrew formula metadata
sudo port install smlpkgMacPorts ports tree · devel/smlpkg/Portfile · ソース: api.github.com
brew / 順位 11383
smlpkg のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
brew install smlpkglocal Homebrew formula metadata
sudo port install smlpkgMacPorts ports tree · devel/smlpkg/Portfile · ソース: api.github.com
nix profile install nixpkgs#smlpkgnixpkgs package indexes · pkgs/by-name/sm/smlpkg/package.nix · ソース: api.github.com
概要
Package manager for Standard ML libraries and programs
履歴
smlpkg is a generic package manager for Standard ML libraries and programs.
The official README says smlpkg assumes nothing about the Standard ML compiler in use and centers package handling around semantic versioning.
The README also says the package manager is almost a complete port of the Futhark package manager, which was designed and implemented in Haskell by Troels Henriksen.
The official README lists Standard ML package examples across MLKit, MLton, SMLtoJs, and PolyML-oriented workflows.
Input package facts show distribution through Homebrew, MacPorts, and Nix.
`smlpkg add github.com/diku-dk/sml-random` adds a dependency, modifying or creating `sml.pkg`.
`smlpkg sync` populates the `lib` directory from dependencies listed in `sml.pkg`.
smlpkg matters because Standard ML historically lacked a single dominant package-manager workflow; this project gives SML libraries a small semver-based dependency tool.
Its compiler-agnostic stance makes it relevant across MLton, MLKit, SMLtoJs, and related SML ecosystems.
セキュリティ状態
infrastructure mutation or orchestration signal.
リスク orange · 信頼度 中 · infrastructure
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
local files
These source-backed paths show where this package keeps local settings or durable credentials. Automic Vault can use them as review targets for secret scanning, migration, and command approval.
Config paths the tool may read or write during local use.
sml.pkg実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
smlpkg | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
インストールメタデータ
| パッケージキー | brew:smlpkg |
|---|---|
| バージョン | 0.1.7 |
| パッケージマネージャ | Homebrew |
| ホームページ | https://github.com/diku-dk/smlpkg |
| リポジトリ | https://github.com/diku-dk/smlpkg |
| Bottle | 未記録 |
| サービス | 宣言なし |
ソースデータベース一致
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
smlpkg
nix profile install nixpkgs#smlpkgsmlpkg
sudo port install smlpkgソース経路
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
View the package source record on GitHub.