/usr/lib/mlton/ is in mlton-runtime-x86-64-linux-gnu 20130715-3.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/lib/mlton/targets/
|
root:root | 0o755 | ||
/usr/lib/mlton/targets/x86_64-linux-gnu/
|
root:root | 0o755 | ||
/usr/lib/mlton/targets/x86_64-linux-gnu/arch
|
text/plain | root:root | 0o644 | 6 bytes |
/usr/lib/mlton/targets/x86_64-linux-gnu/constants
|
text/plain | root:root | 0o644 | 15.2 KB |
/usr/lib/mlton/targets/x86_64-linux-gnu/include/
|
root:root | 0o755 | ||
/usr/lib/mlton/targets/x86_64-linux-gnu/include/c-types.h
|
text/plain | root:root | 0o644 | 2.6 KB |
/usr/lib/mlton/targets/x86_64-linux-gnu/libgdtoa-gdb.a
|
application/x-archive | root:root | 0o644 | 166.5 KB |
/usr/lib/mlton/targets/x86_64-linux-gnu/libgdtoa-pic.a
|
application/x-archive | root:root | 0o644 | 155.1 KB |
/usr/lib/mlton/targets/x86_64-linux-gnu/libgdtoa.a
|
application/x-archive | root:root | 0o644 | 155.8 KB |
/usr/lib/mlton/targets/x86_64-linux-gnu/libmlton-gdb.a
|
application/x-archive | root:root | 0o644 | 480.5 KB |
/usr/lib/mlton/targets/x86_64-linux-gnu/libmlton-pic.a
|
application/x-archive | root:root | 0o644 | 400.7 KB |
/usr/lib/mlton/targets/x86_64-linux-gnu/libmlton.a
|
application/x-archive | root:root | 0o644 | 402.9 KB |
/usr/lib/mlton/targets/x86_64-linux-gnu/os
|
text/plain | root:root | 0o644 | 6 bytes |
/usr/lib/mlton/targets/x86_64-linux-gnu/sizes
|
text/plain | root:root | 0o644 | 91 bytes |
/usr/lib/mlton/targets/x86_64-linux-gnu/sml/
|
root:root | 0o755 | ||
/usr/lib/mlton/targets/x86_64-linux-gnu/sml/c-types.sml
|
text/plain | root:root | 0o644 | 6.7 KB |