/usr/share/doc/libaac-tactics-coq/

This file is indexed.

/usr/share/doc/libaac-tactics-coq/ is in libaac-tactics-coq 8.6.1-1.

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/doc/libaac-tactics-coq/README`	text/plain	root:root	0o644	1.6 KB
`/usr/share/doc/libaac-tactics-coq/changelog.Debian.gz`	application/gzip	root:root	0o644	1.0 KB
`/usr/share/doc/libaac-tactics-coq/changelog.gz`	application/gzip	root:root	0o644	536 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.AAC.html`	text/html	root:root	0o644	414.1 KB
`/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Caveats.html`	text/html	root:root	0o644	91.4 KB
`/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.Tutorial.html`	text/html	root:root	0o644	126.7 KB
`/usr/share/doc/libaac-tactics-coq/theories/coqdoc.css`	text/plain	root:root	0o644	5.9 KB
`/usr/share/doc/libaac-tactics-coq/theories/index.html`	text/html	root:root	0o644	158.1 KB
`/usr/share/doc/libaac-tactics-coq/theories/toc.html`	text/html	root:root	0o644	5.1 KB