This file is indexed.

/usr/lib/coq/user-contrib/ is in libaac-tactics-ocaml-dev 8.6.1-1.

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

File Mime Type Owner Mode Size
..
/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 21.4 KB
/usr/lib/coq/user-contrib/AAC_tactics/aac_rewrite.cmi application/octet-stream root:root 0o644 198 bytes
/usr/lib/coq/user-contrib/AAC_tactics/aac_rewrite.mli text/plain root:root 0o644 619 bytes
/usr/lib/coq/user-contrib/AAC_tactics/coq.cmi application/octet-stream root:root 0o644 12.7 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/helper.cmi application/octet-stream root:root 0o644 1.7 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 3.3 KB
/usr/lib/coq/user-contrib/AAC_tactics/print.mli text/plain root:root 0o644 1.0 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 6.8 KB
/usr/lib/coq/user-contrib/AAC_tactics/theory.mli text/x-ruby root:root 0o644 7.6 KB