[ 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)
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- dep: libgmp10 (>= 2:6.2.1+dfsg)
- Multiprecision arithmetic library
Download mlton-tools
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
mips64el | 386.6 kB | 1,744.0 kB | [list of files] |