macOS
Homebrewverified · 100%
brew install smlpkglocal Homebrew formula metadata
MacPortsverified · 94%
sudo port install smlpkgMacPorts ports tree · devel/smlpkg/Portfile · source: api.github.com
brew / rank 11383
Install smlpkg with Homebrew, MacPorts, Nix
Package manager for Standard ML libraries and programs. Version 0.1.7 via Homebrew; verified from local package data. Also installable with nix: nix profile install nixpkgs#smlpkg.
install
Additional install commands
Linux
Nixverified · 92%
nix profile install nixpkgs#smlpkgnixpkgs 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 bottle metadata was recorded.
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 | executable | indexed executable | Discovered from the local executable index. |
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-08-03
manager version0.1.7
manager updated
local dataunknown
upstreamnot available
latest detectednot detected
- okNo freshness warnings were generated.
install metadata
Package metadata
| Package key | brew:smlpkg |
|---|---|
| Version | 0.1.7 |
| Package manager | Homebrew |
| Homepage | https://github.com/diku-dk/smlpkg |
| Repository | https://github.com/diku-dk/smlpkg |
| Bottle | not recorded |
| Service | none declared |
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
MacPorts95%
smlpkg
sudo port install smlpkg- normalized package name match
- Matched by: Smlpkg
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.
Used sources
- 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