This file is indexed.

/usr/ 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/share/lintian/overrides/ root:root 0o755
/usr/lib/coq/user-contrib/AAC_tactics/ root:root 0o755
/usr/share/ root:root 0o755
/usr/share/doc-base/ root:root 0o755
/usr/share/doc-base/libaac-tactics-ocaml-dev.doc-base.apiref text/plain root:root 0o644 364 bytes
/usr/share/lintian/ root:root 0o755
/usr/share/lintian/overrides/libaac-tactics-ocaml-dev text/plain root:root 0o644 110 bytes
/usr/share/doc/ root:root 0o755
/usr/share/doc/libaac-tactics-ocaml-dev/ root:root 0o755
/usr/share/doc/libaac-tactics-ocaml-dev/html/ root:root 0o755
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/ root:root 0o755
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Comparison.html text/html root:root 0o644 1.5 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Trans.html text/html root:root 0o644 11.8 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Relation.html text/html root:root 0o644 1.8 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Matcher.Subst.html text/html root:root 0o644 2.0 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Equivalence.html text/html root:root 0o644 4.0 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Comparison.html text/html root:root 0o644 2.0 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/style.css text/x-asm root:root 0o644 2.8 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Trans.html text/html root:root 0o644 6.1 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Leibniz.html text/html root:root 0o644 1.5 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Classes.html text/html root:root 0o644 2.3 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Sigma.html text/html root:root 0o644 2.5 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Print.html text/html root:root 0o644 1.9 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Bool.html text/html root:root 0o644 1.8 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.html text/html root:root 0o644 12.6 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Nat.html text/html root:root 0o644 1.3 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_extensions.html text/html root:root 0o644 1.0 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_exceptions.html text/html root:root 0o644 1.0 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Bool.html text/html root:root 0o644 1.3 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Matcher.Terms.html text/html root:root 0o644 4.5 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Transitive.html text/html root:root 0o644 3.6 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.html text/html root:root 0o644 10.2 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Sym.html text/html root:root 0o644 2.0 KB
/usr/lib/ root:root 0o755
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Stubs.html text/html root:root 0o644 2.2 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Evm_compute.html text/html root:root 0o644 2.3 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.CONTROL.html text/html root:root 0o644 1.7 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Helper.Debug.html text/html root:root 0o644 2.5 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_types.html text/html root:root 0o644 4.3 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Print.html text/html root:root 0o644 2.6 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.Debug.html text/html root:root 0o644 2.9 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Helper.html text/html root:root 0o644 3.4 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Helper.CONTROL.html text/html root:root 0o644 1.2 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_class_types.html text/html root:root 0o644 1.0 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.List.html text/html root:root 0o644 1.9 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Transitive.html text/html root:root 0o644 3.6 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Sigma.html text/html root:root 0o644 2.7 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.html text/html root:root 0o644 4.0 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Classes.html text/html root:root 0o644 2.2 KB
/usr/share/doc/libaac-tactics-ocaml-dev/copyright text/plain root:root 0o644 1.1 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Stubs.html text/html root:root 0o644 3.1 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Matcher.html text/html root:root 0o644 9.2 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Equivalence.html text/html root:root 0o644 3.8 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.html text/html root:root 0o644 28.1 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Pair.html text/html root:root 0o644 1.7 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Search_monad.html text/html root:root 0o644 4.7 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.Terms.html text/html root:root 0o644 8.6 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_attributes.html text/html root:root 0o644 1.1 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_modules.html text/html root:root 0o644 5.4 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Rewrite.html text/html root:root 0o644 4.5 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Pos.html text/html root:root 0o644 1.8 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Evm_compute.html text/html root:root 0o644 2.1 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Option.html text/html root:root 0o644 1.8 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Sym.html text/html root:root 0o644 3.2 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.Subst.html text/html root:root 0o644 2.6 KB
/usr/share/doc/libaac-tactics-ocaml-dev/changelog.Debian.gz application/gzip root:root 0o644 721 bytes
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Nat.html text/html root:root 0o644 1.8 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index.html text/html root:root 0o644 2.8 KB
/usr/lib/coq/user-contrib/AAC_tactics/print.cmi application/octet-stream root:root 0o644 2.4 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Relation.html text/html root:root 0o644 2.4 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Rewrite.html text/html root:root 0o644 8.9 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Pos.html text/html root:root 0o644 1.3 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.html text/html root:root 0o644 2.2 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_values.html text/html root:root 0o644 20.3 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Search_monad.html text/html root:root 0o644 5.3 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_module_types.html text/html root:root 0o644 1.2 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_classes.html text/html root:root 0o644 1.0 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Pair.html text/html root:root 0o644 2.0 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.html text/html root:root 0o644 8.6 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.List.html text/html root:root 0o644 1.5 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Option.html text/html root:root 0o644 1.9 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_methods.html text/html root:root 0o644 1.1 KB
/usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Leibniz.html text/html root:root 0o644 1.8 KB
/usr/lib/coq/ root:root 0o755
/usr/lib/coq/user-contrib/ root:root 0o755
/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/search_monad.mli text/plain root:root 0o644 1.4 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/print.mli text/plain root:root 0o644 1.1 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/matcher.mli text/x-ruby root:root 0o644 7.2 KB
/usr/lib/coq/user-contrib/AAC_tactics/theory.mli text/x-ruby root:root 0o644 7.6 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/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/rewrite.cmi application/octet-stream root:root 0o644 12.5 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/theory.cmi application/octet-stream root:root 0o644 5.9 KB
/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/aac.cmi application/octet-stream root:root 0o644 31.5 KB