[ sid ]
[ Source: mlton ]
Package: mlton-tools (20210117+dfsg-3)
Links for mlton-tools
Debian Resources:
Download Source Package mlton:
Maintainer:
External Resources:
- Homepage [mlton.org]
Similar packages:
Optimizing compiler for Standard ML - tools
MLton is a whole-program optimizing compiler for Standard ML. MLton generates standalone executables with excellent runtime performance, is SML 97 compliant, and has a complete basis library. MLton has source-level profiling, a fast C FFI, an interface to the GNU multiprecision library, and lots of useful libraries.
This package includes tools which autogenerate SML.
Other Packages Related to mlton-tools
|
|
|
|
-
- dep: libc6 (>= 2.33)
- Biblioteca de C de GNU: Bibliotecas compartidas
also a virtual package provided by libc6-udeb
-
- dep: libgmp10 (>= 2:6.2.1+dfsg)
- Biblioteca aritmética con multiprecisión
Download mlton-tools
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| s390x | 385.5 kB | 1,835.0 kB | [list of files] |