install

Additional install commands

macOS

Homebrewverified · 100%

brew install smlpkg

local Homebrew formula metadata

MacPortsverified · 94%

sudo port install smlpkg

MacPorts ports tree · devel/smlpkg/Portfile · source: api.github.com

Linux

Nixverified · 92%

nix profile install nixpkgs#smlpkg

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

overview

Package summary

Package manager for Standard ML libraries and programs

Project links

Commands and aliases

smlpkg

history

Project history and usage

smlpkg is a generic package manager for Standard ML libraries and programs.

Project history

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.

Adoption history

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.

How it is used

`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`.

Why package nerds care

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.

Timeline

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.

Sources

https://github.com/diku-dk/smlpkg#readme
source_facts.package-manager

security posture

Risk level: orange

infrastructure mutation or orchestration signal.

Risk classifier

orange risk · medium confidence · infrastructure

Why

infrastructure mutation or orchestration signal

Signals

text:package manager

Install behavior

No Homebrew post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 6 platform targets.
Installs with 1 runtime dependencies.
Build metadata lists 1 build dependencies.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

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

executables

Installed executables

Command	Kind	Exposure	Note
`smlpkg`	cli	global executable

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-07-08

manager version0.1.7

manager updated

local dataok

upstreamcurrent

latest detectedv0.1.7

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

infoNo package-manager update timestamp was available.low confidence

install metadata

Package metadata

Package key	brew:smlpkg
Version	0.1.7
Package manager	Homebrew
Package manager page	https://formulae.brew.sh/formula/smlpkg
Homepage	https://github.com/diku-dk/smlpkg
Repository	https://github.com/diku-dk/smlpkg
Upstream docs	https://github.com/diku-dk/smlpkg#readme
License	MIT
Source archive	https://github.com/diku-dk/smlpkg/archive/refs/tags/v0.1.7.tar.gz
Dependencies	gmp
Build dependencies	mlton
Bottle	available (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	not defined
Service	none declared

registry facts

Source database details

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	head stable

source database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

Nix95%

smlpkg

nix profile install nixpkgs#smlpkg

normalized package name match
Matched by: 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
Matched by: 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

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Combined YAML source

View the package source record on GitHub.

combined/smlpkg.yml

Used sources

Geiger risk classifier
Nucleus package database
av.db category and tag curation
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

Install smlpkg with Homebrew, MacPorts, Nix