macOS
brew install smlpkglocal Homebrew formula metadata
sudo port install smlpkgMacPorts ports tree · devel/smlpkg/Portfile · ソース: api.github.com
brew / 順位 11406
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 | cli | グローバル実行可能ファイル |
鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
https://github.com/diku-dk/smlpkg
インストールメタデータ
| パッケージキー | brew:smlpkg |
|---|---|
| バージョン | 0.1.7 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/smlpkg |
| ホームページ | https://github.com/diku-dk/smlpkg |
| リポジトリ | https://github.com/diku-dk/smlpkg |
| ライセンス | MIT |
| ソースアーカイブ | https://github.com/diku-dk/smlpkg/archive/refs/tags/v0.1.7.tar.gz |
| 依存関係 | gmp |
| ビルド依存関係 | mlton |
| 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 | smlpkg |
| 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 パッケージリンクとは分けて表示されます。
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.