3.13.0-164.214
) is not available, but a newer one is (3.13.0-166.216
). We redirected you there.
/usr/lib/mlton/targets/ is in mlton-runtime-x86-64-linux-gnu 20100608-5.1.
This file is owned by root:root, with mode 0o755.
File | Mime Type | Owner | Mode | Size |
---|---|---|---|---|
..
|
||||
/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.3 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 | 137.5 KB |
/usr/lib/mlton/targets/x86_64-linux-gnu/libgdtoa-pic.a
|
application/x-archive | root:root | 0o644 | 134.2 KB |
/usr/lib/mlton/targets/x86_64-linux-gnu/libgdtoa.a
|
application/x-archive | root:root | 0o644 | 133.8 KB |
/usr/lib/mlton/targets/x86_64-linux-gnu/libmlton-gdb.a
|
application/x-archive | root:root | 0o644 | 1.6 MB |
/usr/lib/mlton/targets/x86_64-linux-gnu/libmlton-pic.a
|
application/x-archive | root:root | 0o644 | 503.1 KB |
/usr/lib/mlton/targets/x86_64-linux-gnu/libmlton.a
|
application/x-archive | root:root | 0o644 | 502.1 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 |