This package is 221.3 KB.
It is available at http://ftp.debian.org/debian/pool/main/s/smlnj/libmlrisctools-smlnj_110.79-2+b1_amd64.deb
.
View its full control file here:
debian/control.
Library for generating MLRISC modules
This package depends on:
smlnj (= 110.79-2+b1).
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.
libmlrisctools-smlnj 110.79-2+b1 is in debian - stretch / main. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/smlnj/
|
root:root | 0o755 | ||
/usr/lib/smlnj/lib/
|
root:root | 0o755 | ||
/usr/lib/smlnj/lib/mlrisc-tools/
|
root:root | 0o755 | ||
/usr/lib/smlnj/lib/mlrisc-tools/.cm/
|
root:root | 0o755 | ||
/usr/lib/smlnj/lib/mlrisc-tools/.cm/x86-unix/
|
root:root | 0o755 | ||
/usr/lib/smlnj/lib/mlrisc-tools/.cm/x86-unix/match-compiler.cm
|
application/octet-stream | root:root | 0o644 | 147.7 KB |
/usr/lib/smlnj/lib/mlrisc-tools/.cm/x86-unix/parser.cm
|
application/octet-stream | root:root | 0o644 | 527.6 KB |
/usr/lib/smlnj/lib/mlrisc-tools/.cm/x86-unix/pp.cm
|
application/octet-stream | root:root | 0o644 | 15.0 KB |
/usr/lib/smlnj/lib/mlrisc-tools/.cm/x86-unix/prec-parser.cm
|
application/octet-stream | root:root | 0o644 | 6.2 KB |
/usr/lib/smlnj/lib/mlrisc-tools/.cm/x86-unix/sml-ast.cm
|
application/octet-stream | root:root | 0o644 | 190.7 KB |
/usr/lib/smlnj/lib/mlrisc-tools/.cm/x86-unix/source-map.cm
|
application/octet-stream | root:root | 0o644 | 24.6 KB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/libmlrisctools-smlnj/
|
root:root | 0o755 | ||
/usr/share/doc/libmlrisctools-smlnj/changelog.Debian.amd64.gz
|
application/gzip | root:root | 0o644 | 220 bytes |
/usr/share/doc/libmlrisctools-smlnj/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 4.1 KB |
/usr/share/doc/libmlrisctools-smlnj/copyright
|
text/plain | root:root | 0o644 | 1.8 KB |