macOS
brew install smlpkglocal Homebrew formula metadata
sudo port install smlpkgMacPorts ports tree · devel/smlpkg/Portfile · Quelle: api.github.com
brew / Rang 11383
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für smlpkg in AI-Agent-Workflows.
Installation
brew install smlpkglocal Homebrew formula metadata
sudo port install smlpkgMacPorts ports tree · devel/smlpkg/Portfile · Quelle: api.github.com
nix profile install nixpkgs#smlpkgnixpkgs package indexes · pkgs/by-name/sm/smlpkg/package.nix · Quelle: api.github.com
Überblick
Package manager for Standard ML libraries and programs
Verlauf
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.
Sicherheitslage
infrastructure mutation or orchestration signal.
orange Risiko · mittel Konfidenz · infrastructure
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
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.pkgExecutables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
smlpkg | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
Aktualität
Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.
Installationsmetadaten
| Paketschlüssel | brew:smlpkg |
|---|---|
| Version | 0.1.7 |
| Paketmanager | Homebrew |
| Homepage | https://github.com/diku-dk/smlpkg |
| Repository | https://github.com/diku-dk/smlpkg |
| Bottle | nicht erfasst |
| Dienst | keiner deklariert |
Source-Datenbank-Treffer
Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.
smlpkg
nix profile install nixpkgs#smlpkgsmlpkg
sudo port install smlpkgQuellspur
Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.
View the package source record on GitHub.