[ 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:
compilatore ottimizzante per lo Standard ML - strumenti
MLton è un compilatore ottimizzante per interi programmi per lo Standard ML. Genera eseguibili autonomi con eccellenti prestazioni, è conforme a SML 97 e ha una libreria di base completa. MLton ha profilazione a livello di codice sorgente, una FFI C veloce, un'interfaccia alla libreria multiprecisione GNU e moltissime utili librerie.
Questo pacchetto contiene gli strumenti che generano automaticamente SML.
Other Packages Related to mlton-tools
|
|
|
|
-
- dep: libc6 (>= 2.33)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libgmp10 (>= 2:6.2.1+dfsg)
- libreria aritmetica a precisione multipla
Download mlton-tools
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| mips64el | 386.6 kB | 1,744.0 kB | [list of files] |