This file is indexed.

/usr/lib/coq/ is in libcoq-ocaml-dev 8.6-4.

This file is owned by root:root, with mode 0o755.

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