/usr/share/doc/

This file is indexed.

/usr/share/doc/ 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/doc-base/libaac-tactics-ocaml-dev.doc-base.apiref`	text/plain	root:root	0o644	364 bytes
`/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/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/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

libaac-tactics-ocaml-dev 0.4-5build2 / usr / share / doc