[ 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:
Optimeringskompiler for standard-ML - værktøjer
MLton er et helt program optimerende kompiler for Standard ML. MLton oprette uafhængige kørbare filer med glimrende kørselstidsydelse, overholder SML 97 og har et fuldstændigt grundbibliotek. MLton har profilering på kildeniveau, en hurtig C FFI, en grænseflade til GNU multiprecision-biblioteket og en masse nyttige biblioteker.
Denne pakke indeholder værktøjer der automatisk opretter SML.
Other Packages Related to mlton-tools
|
|
|
|
-
- dep: libc6 (>= 2.33)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgmp10 (>= 2:6.2.1+dfsg)
- Bibliotek til multipræcision i aritmetik
Download mlton-tools
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| arm64 | 395.1 kB | 1,591.0 kB | [list of files] |