This file is indexed.

/usr/ is in libaac-tactics-coq 0.2.pl2-4build1.

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

File Mime Type Owner Mode Size
..
/usr/lib/ root:root 0o755
/usr/lib/coq/ root:root 0o755
/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.vo application/octet-stream root:root 0o644 263.3 KB
/usr/lib/coq/user-contrib/AAC_tactics/Caveats.vo application/octet-stream root:root 0o644 36.4 KB
/usr/lib/coq/user-contrib/AAC_tactics/Instances.vo application/octet-stream root:root 0o644 80.1 KB
/usr/lib/coq/user-contrib/AAC_tactics/Tutorial.vo application/octet-stream root:root 0o644 71.9 KB
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/libaac-tactics-coq/ root:root 0o755
/usr/share/doc/libaac-tactics-coq/api/ root:root 0o755
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Bool.html text/html root:root 0o644 1.8 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Classes.html text/html root:root 0o644 2.2 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Comparison.html text/html root:root 0o644 2.0 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Equivalence.html text/html root:root 0o644 3.8 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.html text/html root:root 0o644 10.3 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Leibniz.html text/html root:root 0o644 1.7 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.List.html text/html root:root 0o644 1.9 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Nat.html text/html root:root 0o644 1.8 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Option.html text/html root:root 0o644 2.0 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Pair.html text/html root:root 0o644 2.0 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Pos.html text/html root:root 0o644 1.8 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Relation.html text/html root:root 0o644 2.4 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Rewrite.html text/html root:root 0o644 8.3 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Transitive.html text/html root:root 0o644 3.6 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_helper.CONTROL.html text/html root:root 0o644 1.7 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_helper.Debug.html text/html root:root 0o644 2.9 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_helper.html text/html root:root 0o644 2.2 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_matcher.html text/html root:root 0o644 8.7 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_matcher.Subst.html text/html root:root 0o644 2.7 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_matcher.Terms.html text/html root:root 0o644 8.6 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_print.html text/html root:root 0o644 2.6 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_rewrite.html text/html root:root 0o644 1.5 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_search_monad.html text/html root:root 0o644 4.7 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_theory.html text/html root:root 0o644 4.1 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_theory.Sigma.html text/html root:root 0o644 2.7 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_theory.Stubs.html text/html root:root 0o644 3.1 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_theory.Sym.html text/html root:root 0o644 3.1 KB
/usr/share/doc/libaac-tactics-coq/api/AAC_theory.Trans.html text/html root:root 0o644 10.0 KB
/usr/share/doc/libaac-tactics-coq/api/index.html text/html root:root 0o644 2.6 KB
/usr/share/doc/libaac-tactics-coq/api/index_attributes.html text/html root:root 0o644 1.0 KB
/usr/share/doc/libaac-tactics-coq/api/index_class_types.html text/html root:root 0o644 1.0 KB
/usr/share/doc/libaac-tactics-coq/api/index_classes.html text/html root:root 0o644 1.0 KB
/usr/share/doc/libaac-tactics-coq/api/index_exceptions.html text/html root:root 0o644 1.0 KB
/usr/share/doc/libaac-tactics-coq/api/index_methods.html text/html root:root 0o644 1.0 KB
/usr/share/doc/libaac-tactics-coq/api/index_module_types.html text/html root:root 0o644 1.2 KB
/usr/share/doc/libaac-tactics-coq/api/index_modules.html text/html root:root 0o644 5.5 KB
/usr/share/doc/libaac-tactics-coq/api/index_types.html text/html root:root 0o644 4.5 KB
/usr/share/doc/libaac-tactics-coq/api/index_values.html text/html root:root 0o644 21.2 KB
/usr/share/doc/libaac-tactics-coq/api/style.css text/x-asm root:root 0o644 2.2 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Bool.html text/html root:root 0o644 1.3 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Classes.html text/html root:root 0o644 2.4 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Comparison.html text/html root:root 0o644 1.5 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Equivalence.html text/html root:root 0o644 4.1 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.html text/html root:root 0o644 28.2 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Leibniz.html text/html root:root 0o644 1.3 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.List.html text/html root:root 0o644 1.6 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Nat.html text/html root:root 0o644 1.3 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Option.html text/html root:root 0o644 1.9 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Pair.html text/html root:root 0o644 1.8 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Pos.html text/html root:root 0o644 1.3 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Relation.html text/html root:root 0o644 1.9 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Rewrite.html text/html root:root 0o644 4.6 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Transitive.html text/html root:root 0o644 3.7 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_helper.CONTROL.html text/html root:root 0o644 1.2 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_helper.Debug.html text/html root:root 0o644 2.5 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_helper.html text/html root:root 0o644 3.4 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_matcher.html text/html root:root 0o644 9.8 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_matcher.Subst.html text/html root:root 0o644 2.1 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_matcher.Terms.html text/html root:root 0o644 4.8 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_print.html text/html root:root 0o644 2.0 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_rewrite.html text/html root:root 0o644 1.0 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_search_monad.html text/html root:root 0o644 5.5 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_theory.html text/html root:root 0o644 12.9 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_theory.Sigma.html text/html root:root 0o644 2.6 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_theory.Stubs.html text/html root:root 0o644 2.3 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_theory.Sym.html text/html root:root 0o644 2.1 KB
/usr/share/doc/libaac-tactics-coq/api/type_AAC_theory.Trans.html text/html root:root 0o644 6.3 KB
/usr/share/doc/libaac-tactics-coq/theories/ root:root 0o755
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.AAC.html text/html root:root 0o644 276.0 KB
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Caveats.html text/html root:root 0o644 59.9 KB
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Instances.html text/html root:root 0o644 95.0 KB
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Tutorial.html text/html root:root 0o644 88.6 KB
/usr/share/doc/libaac-tactics-coq/theories/coqdoc.css text/plain root:root 0o644 4.5 KB
/usr/share/doc/libaac-tactics-coq/theories/index.html text/html root:root 0o644 1.1 MB
/usr/share/doc/libaac-tactics-coq/theories/toc.html text/html root:root 0o644 4.9 KB
/usr/share/doc/libaac-tactics-coq/README.txt text/plain root:root 0o644 2.2 KB
/usr/share/doc/libaac-tactics-coq/copyright text/plain root:root 0o644 1.0 KB
/usr/share/doc-base/ root:root 0o755
/usr/share/doc-base/aac-tactics-theories text/plain root:root 0o644 289 bytes
/usr/share/doc-base/aac-tactics-api-reference text/plain root:root 0o644 294 bytes
/usr/share/doc/libaac-tactics-coq/changelog.Debian.gz root:root 0o777