pkg.soopen package index

brew / 排名 11406

使用 Homebrew, MacPorts, Nix 安装 smlpkg

查看 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

安装行为

  • formula 元数据中未记录 Homebrew post-install 钩子。
  • Homebrew bottle 元数据适用于 6 个平台目标。
  • 安装时包含 1 个运行时依赖。
  • 构建元数据列出 1 个构建依赖。

建议审查

在无人值守的代理使用前,请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

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

可执行文件

已安装的可执行文件

命令类型暴露范围备注
smlpkgcli全局可执行文件

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时,才会提示版本落后。

页面生成时间2026-08-04
管理器版本0.1.7
管理器更新时间
本地数据OK
上游当前
检测到的最新版本v0.1.7

https://github.com/diku-dk/smlpkg

  • 信息No package-manager update timestamp was available.低 置信度

安装元数据

软件包元数据

软件包键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 DatabaseHomebrew formula API
Taphomebrew/core
Full Namesmlpkg
Version Scheme0
Revision0
Head VersionHEAD
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • head
  • stable

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引,并与本地 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

来源线索

由仓库数据生成

此页面由 av-webscripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

使用的来源

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