mlton 20241230 single
Open-source, whole-program, optimizing Standard ML compiler
- Name
mlton-20241230- Package set
- top-level
- Homepage
- http://mlton.org/
- License
- SMLNJ
- Source
- pkgs/development/compilers/mlton/meta.nix:5
- Derivation
/nix/store/vy2yb9jmn5iklyn3ch0na5s5vnmlw31k-mlton-20241230.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
- Also available as
mlton20241230
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| imnotpoz | Jacek Poziemski | GitHub · poz@poz.pet · @poz:poz.pet | listed on package |
Dependencies 5
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| gmp 6.3.0 | buildInputs | 49,290 | single | |
| mlton20241230Binary 20241230 | nativeBuildInputs | 12 | single | |
| which 2.25 | nativeBuildInputs | 69,382 | single | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 10 directly, 10 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| mlkit 4.7.22 | nativeBuildInputs | 1 | single outdated | |
| ceptre 0-unstable-2024-08-26 | nativeBuildInputs | 0 | maintained unfree | |
| hol 4-trindemossen-2 | buildInputs | 0 | single | |
| initool 1.0.0 | nativeBuildInputs | 0 | single | |
| lunarml 0.3.0 | nativeBuildInputs | 0 | maintained | |
| metis-prover 2.4.20200713 | buildInputs | 0 | unmaintained | |
| smlfmt 1.3.0 | nativeBuildInputs | 0 | single | |
| smlfut 1.6.4 | nativeBuildInputs | 0 | single | |
| smlpkg 0.1.7 | nativeBuildInputs | 0 | single | |
| urweb 20200209 | buildInputs | 0 | maintained |