macOS
brew install smlnjlocal Homebrew formula metadata
sudo port install smlnjMacPorts ports tree · lang/smlnj/Portfile · source: api.github.com
brew / Rang 5323
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für smlnj in AI-Agent-Workflows.
Installation
sudo av install brew:smlnjbrew install smlnjlocal Homebrew formula metadata
sudo port install smlnjMacPorts ports tree · lang/smlnj/Portfile · source: api.github.com
nix profile install nixpkgs#smlnjnixpkgs package indexes · smlnj · source: raw.githubusercontent.com
sudo pacman -S smlnjArch Linux sync databases · smlnj · source: geo.mirror.pkgbuild.com
sudo apt install libckit-smlnjUbuntu 24.04 LTS package indexes · libckit-smlnj · source: archive.ubuntu.com
sudo zypper install smlnjopenSUSE Tumbleweed package metadata · smlnj · source: download.opensuse.org
Überblick
Compiler and programming system for Standard ML
Sicherheitslage
narrow executable package without higher-risk signals.
green risk · low confidence · appliance
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
asdlgen | cli | global executable | |
heap2exec | cli | global executable | |
ml-antlr | cli | global executable | |
ml-build | cli | global executable | |
ml-burg | cli | global executable | |
ml-makedepend | cli | global executable | |
ml-ulex | cli | global executable | |
ml-yacc | cli | global executable | |
sml | cli | global executable |
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
| Package key | brew:smlnj |
|---|---|
| Version | 2026.1 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/smlnj |
| Homepage | https://www.smlnj.org/ |
| Repository | https://github.com/smlnj/smlnj |
| Upstream docs | https://github.com/smlnj/smlnj#readme |
| License | BSD-3-Clause |
| Source archive | https://smlnj.org/dist/working/2026.1/smlnj-arm64-unix-2026.1.tgz |
| Last updated | 2026-05-06T15:28:01Z |
| Pulse | updated |
| Build dependencies | autoconf, cmake, python@3.14 |
| Uses from macOS | zlib |
| Bottle | available (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | smlnj |
| 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 |
|
source database matches
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
smlnj
nix profile install nixpkgs#smlnjlibckit-smlnj 110.79-8build1
SML library for parsing and type-checking C programs
sudo apt install libckit-smlnjlibcml-smlnj 110.79-8build1
Concurrent ML extension of SML
sudo apt install libcml-smlnjlibcmlutil-smlnj 110.79-8build1
Concurrent ML utility library
sudo apt install libcmlutil-smlnjlibexene-smlnj 110.79-8build1
Concurrent ML library for the X Window System
sudo apt install libexene-smlnjlibmlnlffi-smlnj 110.79-8build1
No Longer Foreign Function Interface
sudo apt install libmlnlffi-smlnjlibmlrisctools-smlnj 110.79-8build1
Library for generating MLRISC modules
sudo apt install libmlrisctools-smlnjlibpgraphutil-smlnj 110.79-8build1
Portable graph utility library for SML Compilation Manager
sudo apt install libpgraphutil-smlnjlibsmlnj-smlnj 110.79-8build1
Useful libraries for Standard ML of New Jersey
sudo apt install libsmlnj-smlnjml-burg 110.79-8build1
Code generator for Standard ML
sudo apt install ml-burgml-lex 110.79-8build1
Lexical analyzer generator for Standard ML
sudo apt install ml-lexml-lpt 110.79-8build1
SML/NJ language processing tools
sudo apt install ml-lptml-nlffigen 110.79-8build1
ML generator for C glue code
sudo apt install ml-nlffigenml-yacc 110.79-8build1
Parser generator for Standard ML
sudo apt install ml-yaccnowhere 110.79-8build1
Translates programs from an extended Standard ML to Standard ML
sudo apt install nowheresmlnj 110.79-8build1
Standard ML of New Jersey interactive compiler
sudo apt install smlnjQuellspur
Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.