macOS
Homebrewvérifié · 100%
brew install smlpkglocal Homebrew formula metadata
MacPortsvérifié · 94%
sudo port install smlpkgMacPorts ports tree · devel/smlpkg/Portfile · Source: api.github.com
brew / rang 11406
Installer smlpkg avec Homebrew, MacPorts, Nix
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de smlpkg pour les workflows d'agents IA.
installation
Commandes d'installation supplémentaires
Linux
Nixvérifié · 92%
nix profile install nixpkgs#smlpkgnixpkgs package indexes · pkgs/by-name/sm/smlpkg/package.nix · Source: api.github.com
aperçu
Résumé du paquet
Package manager for Standard ML libraries and programs
Liens du projet
Commandes et alias
- smlpkg
historique
Historique du projet et usages
smlpkg is a generic package manager for Standard ML libraries and programs.
Historique du projet
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.
Historique d'adoption
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.
Modes d'utilisation
`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`.
Pourquoi les passionnés de paquets s'y intéressent
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.
Chronologie
- 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
posture de sécurité
Niveau de risque : orange
infrastructure mutation or orchestration signal.
Classificateur de risque
risque orange · confiance moyen · infrastructure
Pourquoi
- infrastructure mutation or orchestration signal
Signaux
- text:package manager
Comportement d'installation
- Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
- Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
- S’installe avec 1 dépendances d’exécution.
- Les métadonnées de compilation listent 1 dépendances de compilation.
Revue recommandée
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des 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
exécutables
Exécutables installés
| Commande | Type | Exposition | Note |
|---|---|---|---|
smlpkg | cli | exécutable global |
fraîcheur
Version et fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
page générée2026-08-04
version du gestionnaire0.1.7
gestionnaire mis à jour
données localesOK
amontà jour
dernière version détectéev0.1.7
https://github.com/diku-dk/smlpkg
- infoNo package-manager update timestamp was available.confiance faible
métadonnées d'installation
Métadonnées du paquet
| Clé du paquet | brew:smlpkg |
|---|---|
| Version | 0.1.7 |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/smlpkg |
| Page d'accueil | https://github.com/diku-dk/smlpkg |
| Dépôt | https://github.com/diku-dk/smlpkg |
| Licence | MIT |
| Archive source | https://github.com/diku-dk/smlpkg/archive/refs/tags/v0.1.7.tar.gz |
| Dépendances | gmp |
| Dépendances de compilation | mlton |
| Bouteille | disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
faits du registre
Détails de la base source
| 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 |
|
correspondances dans les bases sources
Autres enregistrements de gestionnaires de paquets
Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.
Nix95%
smlpkg
nix profile install nixpkgs#smlpkg- normalized package name match
- Correspondance par : Smlpkg
MacPorts95%
smlpkg
sudo port install smlpkg- normalized package name match
- Correspondance par : Smlpkg
piste source
Généré depuis les données du dépôt
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Sources utilisées
- 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