pkg.soopen package index

brew / 順位 11383

smlpkg を Homebrew, MacPorts, Nix でインストール

smlpkg のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

インストール

追加のインストールコマンド

macOS

Homebrew確認済み · 100%
brew install smlpkg

local Homebrew formula metadata

MacPorts確認済み · 94%
sudo port install smlpkg

MacPorts ports tree · devel/smlpkg/Portfile · ソース: api.github.com

Linux

Nix確認済み · 92%
nix profile install nixpkgs#smlpkg

nixpkgs package indexes · pkgs/by-name/sm/smlpkg/package.nix · ソース: api.github.com

概要

パッケージ概要

Package manager for Standard ML libraries and programs

コマンドとエイリアス

  • smlpkg

履歴

プロジェクトの歴史と使われ方

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.

タイムライン

  • 2026: Official GitHub releases list v0.1.7 as the latest release dated 2026-01-09.

Related projects

  • Related projects named by the official README include Futhark's package manager, MLton, MLKit, SMLtoJs, GitHub, and GitLab.

セキュリティ状態

リスクレベル: orange

infrastructure mutation or orchestration signal.

リスク分類器

リスク orange · 信頼度 中 · infrastructure

理由

  • infrastructure mutation or orchestration signal

信号

  • text:package manager

インストール挙動

  • Homebrew bottle メタデータは記録されていません。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

local files

Configuration and credential file locations

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.

Configuration files

Config paths the tool may read or write during local use.

Unix
sml.pkg

実行可能ファイル

インストールされる実行可能ファイル

コマンド種類公開範囲メモ
smlpkg実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-08-03
マネージャ版0.1.7
マネージャ更新日
ローカルデータ不明
上流利用不可
検出された最新未検出
  • OK鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:smlpkg
バージョン0.1.7
パッケージマネージャHomebrew
ホームページhttps://github.com/diku-dk/smlpkg
リポジトリhttps://github.com/diku-dk/smlpkg
Bottle未記録
サービス宣言なし

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

Nix95%

smlpkg

nix profile install nixpkgs#smlpkg
  • normalized package name match
  • 一致条件: Smlpkg
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/sm/smlpkg/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
MacPorts95%

smlpkg

sudo port install smlpkg
  • normalized package name match
  • 一致条件: Smlpkg
MacPorts ports tree · api.github.com · MacPorts ports tree: devel/smlpkg/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

ソース経路

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

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

使用ソース

  • Geiger risk classifier
  • cross-ecosystem install command graph
  • curated configuration and credential file locations
  • curated package history
  • external package-manager database matches
  • pkg.so package database
  • pkgdb category and tag curation