macOS
brew install mltonlocal Homebrew formula metadata
sudo port install mltonMacPorts ports tree · lang/mlton/Portfile · source: api.github.com
brew / Rang 6366
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für mlton in AI-Agent-Workflows.
Installation
sudo av install brew:mltonbrew install mltonlocal Homebrew formula metadata
sudo port install mltonMacPorts ports tree · lang/mlton/Portfile · source: api.github.com
sudo dnf install mltonFedora Rawhide package metadata · mlton · source: dl.fedoraproject.org
nix profile install nixpkgs#mltonnixpkgs package indexes · mlton · source: raw.githubusercontent.com
sudo pacman -S mltonArch Linux sync databases · mlton · source: geo.mirror.pkgbuild.com
sudo apt install mltonUbuntu 24.04 LTS package indexes · mlton · source: archive.ubuntu.com
Überblick
Whole-program, optimizing compiler 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 |
|---|---|---|---|
mllex | cli | global executable | |
mlnlffigen | cli | global executable | |
mlprof | cli | global executable | |
mlton | cli | global executable | |
mlyacc | 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:mlton |
|---|---|
| Version | 20241230 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/mlton |
| Homepage | http://mlton.org |
| Repository | https://github.com/MLton/mlton |
| Upstream docs | https://www.mlton.org/Documentation |
| License | HPND |
| Source archive | https://downloads.sourceforge.net/project/mlton/mlton/20241230/mlton-20241230.src.tgz |
| Dependencies | gmp |
| Build dependencies | autoconf, automake |
| Bottle | available (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | mlton |
| Version Scheme | 1 |
| 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.
mlton
nix profile install nixpkgs#mltonmlton 20210117+dfsg-3
Optimizing compiler for Standard ML
sudo apt install mltonmlton-basis 20210117+dfsg-3
Optimizing compiler for Standard ML - basis library
sudo apt install mlton-basismlton-compiler 20210117+dfsg-3
Optimizing compiler for Standard ML - compiler
sudo apt install mlton-compilermlton-doc 20210117+dfsg-3
Optimizing compiler for Standard ML - documentation
sudo apt install mlton-docmlton-runtime-native 20210117+dfsg-3
Optimizing compiler for Standard ML - native runtime libraries
sudo apt install mlton-runtime-nativemlton-runtime-x86-64-linux-gnu 20210117+dfsg-3
Optimizing compiler for Standard ML - amd64 runtime libraries
sudo apt install mlton-runtime-x86-64-linux-gnumlton-tools 20210117+dfsg-3
Optimizing compiler for Standard ML - tools
sudo apt install mlton-toolsmlton 20210117-12.fc44
Optimizing compiler for Standard ML
sudo dnf install mltonmlton 20241230-1
Whole-program optimizing Standard ML compiler
sudo pacman -S mltonmlton
sudo port install mltonQuellspur
Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.