/var/ is in hol-light 20131026-1build1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/var/lib/
|
root:root | 0o755 | ||
/var/lib/ocaml/
|
root:root | 0o755 | ||
/var/lib/ocaml/md5sums/
|
root:root | 0o755 | ||
/var/lib/ocaml/md5sums/hol-light.md5sums
|
text/plain | root:root | 0o644 | 146 bytes |
/var/lib/ocaml/lintian/
|
root:root | 0o755 | ||
/var/lib/ocaml/lintian/hol-light.info
|
text/plain | root:root | 0o644 | 45 bytes |