This package is 2.7 MB.
It is available at http://ftp.debian.org/debian/pool/main/m/mlton/mlton-compiler_20130715-3_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 (= 20130715-3), mlton-runtime-native (= 20130715-3) | 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 20130715-3 is in debian - stretch / 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.1 KB |
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/mlton/
|
root:root | 0o755 | ||
/usr/lib/mlton/mlton-compile
|
application/x-sharedlib | root:root | 0o755 | 17.3 MB |
/usr/lib/mlton/platform
|
text/x-shellscript | root:root | 0o755 | 1.8 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 | 5.1 KB |
/usr/share/doc/mlton-compiler/changelog.gz
|
application/gzip | root:root | 0o644 | 30.5 KB |
/usr/share/doc/mlton-compiler/copyright
|
text/plain | root:root | 0o644 | 4.7 KB |
/usr/share/doc/mlton-compiler/README
|
root:root | 0o777 | ||
/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.8 KB |