[ sid ]
Pakket: mlton-tools (20100608-3) [debports]
Verwijzigingen voor mlton-tools
Debian bronnen:
Het bronpakket downloaden:
Niet gevondenBeheerders:
Externe bronnen:
- Homepage [mlton.org]
Vergelijkbare pakketten:
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.
Andere aan mlton-tools gerelateerde pakketten
|
|
|
|
-
- dep: libc6.1 (>= 2.4)
- GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6.1-udeb
-
- dep: libgmp10
- Multiprecision arithmetic library