This package is 2.7 MB.
It is available at http://ftp.debian.org/debian/pool/main/m/mlton/mlton-compiler_20100608-5.1_amd64.deb
.
View its full control file here:
debian/control.
Optimizing compiler for Standard ML - compiler
This package depends on:
libc6 (>= 2.14), libgmp10, gcc, libc6-dev, libgmp-dev, mlton-basis (= 20100608-5.1), mlton-runtime-native (= 20100608-5.1) | mlton-runtime.
This package does not recommend any other package.
This package does not suggest any other package.
This package does not conflict with any other package.
mlton-compiler 20100608-5.1 is in debian - jessie / main. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/mlton
|
text/x-shellscript | root:root | 0o755 | 5.0 KB |
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/mlton/
|
root:root | 0o755 | ||
/usr/lib/mlton/mlton-compile
|
application/x-executable | root:root | 0o755 | 16.2 MB |
/usr/lib/mlton/opcodes
|
text/plain | root:root | 0o644 | 5.4 KB |
/usr/lib/mlton/platform
|
text/x-shellscript | root:root | 0o755 | 1.7 KB |
/usr/lib/mlton/static-library
|
text/x-shellscript | root:root | 0o755 | 2.4 KB |
/usr/lib/mlton/targets/
|
root:root | 0o755 | ||
/usr/lib/mlton/targets/self
|
root:root | 0o777 | ||
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/mlton-compiler/
|
root:root | 0o755 | ||
/usr/share/doc/mlton-compiler/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 4.6 KB |
/usr/share/doc/mlton-compiler/changelog.gz
|
application/gzip | root:root | 0o644 | 29.6 KB |
/usr/share/doc/mlton-compiler/copyright
|
text/plain | root:root | 0o644 | 4.7 KB |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/mlton.1.gz
|
application/gzip | root:root | 0o644 | 4.9 KB |