This file is indexed.

/usr/lib/coq/ is in libaac-tactics-ocaml-dev 0.4-5build2.

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

File Mime Type Owner Mode Size
..
/usr/lib/coq/user-contrib/ root:root 0o755
/usr/lib/coq/user-contrib/AAC_tactics/ root:root 0o755
/usr/lib/coq/user-contrib/AAC_tactics/aac.cmi application/octet-stream root:root 0o644 31.5 KB
/usr/lib/coq/user-contrib/AAC_tactics/coq.cmi application/octet-stream root:root 0o644 11.8 KB
/usr/lib/coq/user-contrib/AAC_tactics/coq.mli text/x-ruby root:root 0o644 8.1 KB
/usr/lib/coq/user-contrib/AAC_tactics/evm_compute.cmi application/octet-stream root:root 0o644 2.3 KB
/usr/lib/coq/user-contrib/AAC_tactics/evm_compute.mli text/plain root:root 0o644 526 bytes
/usr/lib/coq/user-contrib/AAC_tactics/helper.cmi application/octet-stream root:root 0o644 1.5 KB
/usr/lib/coq/user-contrib/AAC_tactics/helper.mli text/x-ruby root:root 0o644 1.2 KB
/usr/lib/coq/user-contrib/AAC_tactics/matcher.cmi application/octet-stream root:root 0o644 2.4 KB
/usr/lib/coq/user-contrib/AAC_tactics/matcher.mli text/x-ruby root:root 0o644 7.2 KB
/usr/lib/coq/user-contrib/AAC_tactics/print.cmi application/octet-stream root:root 0o644 2.4 KB
/usr/lib/coq/user-contrib/AAC_tactics/print.mli text/plain root:root 0o644 1.1 KB
/usr/lib/coq/user-contrib/AAC_tactics/rewrite.cmi application/octet-stream root:root 0o644 12.5 KB
/usr/lib/coq/user-contrib/AAC_tactics/search_monad.cmi application/octet-stream root:root 0o644 1.4 KB
/usr/lib/coq/user-contrib/AAC_tactics/search_monad.mli text/plain root:root 0o644 1.4 KB
/usr/lib/coq/user-contrib/AAC_tactics/theory.cmi application/octet-stream root:root 0o644 5.9 KB
/usr/lib/coq/user-contrib/AAC_tactics/theory.mli text/x-ruby root:root 0o644 7.6 KB