/var/ is in hol-light 20131026-1+b1.
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/lintian/
|
root:root | 0o755 | ||
/var/lib/ocaml/lintian/hol-light.info
|
text/plain | root:root | 0o644 | 42 bytes |
/var/lib/ocaml/md5sums/
|
root:root | 0o755 | ||
/var/lib/ocaml/md5sums/hol-light.md5sums
|
text/plain | root:root | 0o644 | 140 bytes |