/usr/share/doc/

This file is indexed.

/usr/share/doc/ is in libaac-tactics-coq 0.4-3.

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/doc-base/aac-tactics-theories`	text/plain	root:root	0o644	289 bytes
`/usr/share/doc/libaac-tactics-coq/`		root:root	0o755
`/usr/share/doc/libaac-tactics-coq/README.txt`	text/plain	root:root	0o644	2.2 KB
`/usr/share/doc/libaac-tactics-coq/changelog.Debian.gz`	application/gzip	root:root	0o644	730 bytes
`/usr/share/doc/libaac-tactics-coq/changelog.gz`	application/gzip	root:root	0o644	561 bytes
`/usr/share/doc/libaac-tactics-coq/copyright`	text/plain	root:root	0o644	1.1 KB
`/usr/share/doc/libaac-tactics-coq/theories/`		root:root	0o755
`/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Instances.html`	text/html	root:root	0o644	109.1 KB
`/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Caveats.html`	text/html	root:root	0o644	88.1 KB
`/usr/share/doc/libaac-tactics-coq/theories/coqdoc.css`	text/plain	root:root	0o644	5.1 KB
`/usr/share/doc/libaac-tactics-coq/theories/index.html`	text/html	root:root	0o644	159.5 KB
`/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.AAC.html`	text/html	root:root	0o644	393.5 KB
`/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Tutorial.html`	text/html	root:root	0o644	130.4 KB
`/usr/share/doc/libaac-tactics-coq/theories/toc.html`	text/html	root:root	0o644	5.1 KB