/usr/lib/coq/ is in libcoq-ocaml-dev 8.6-4.
This file is owned by root:root, with mode 0o755.
There are a lot of files here (514 total).
We're only showing the immediate contents of /usr/lib/coq
.
File | Mime Type | Owner | Mode | Size |
---|---|---|---|---|
..
|
||||
/usr/lib/coq/META
|
text/plain | root:root | 0o644 | 4.2 KB |
/usr/lib/coq/config/
|
root:root | 0o755 | ||
/usr/lib/coq/engine/
|
root:root | 0o755 | ||
/usr/lib/coq/grammar/
|
root:root | 0o755 | ||
/usr/lib/coq/ide/
|
root:root | 0o755 | ||
/usr/lib/coq/interp/
|
root:root | 0o755 | ||
/usr/lib/coq/intf/
|
root:root | 0o755 | ||
/usr/lib/coq/kernel/
|
root:root | 0o755 | ||
/usr/lib/coq/lib/
|
root:root | 0o755 | ||
/usr/lib/coq/libcoqrun.a
|
application/x-archive | root:root | 0o644 | 34.3 KB |
/usr/lib/coq/library/
|
root:root | 0o755 | ||
/usr/lib/coq/ltac/
|
root:root | 0o755 | ||
/usr/lib/coq/parsing/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/
|
root:root | 0o755 | ||
/usr/lib/coq/pretyping/
|
root:root | 0o755 | ||
/usr/lib/coq/printing/
|
root:root | 0o755 | ||
/usr/lib/coq/proofs/
|
root:root | 0o755 | ||
/usr/lib/coq/stm/
|
root:root | 0o755 | ||
/usr/lib/coq/tactics/
|
root:root | 0o755 | ||
/usr/lib/coq/toplevel/
|
root:root | 0o755 |