/usr/share/doc/

This file is indexed.

/usr/share/doc/ is in prover9 0.0.200911a-2.

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/doc/prover9/`		root:root	0o755
`/usr/share/doc/prover9/copyright`	text/plain	root:root	0o644	2.1 KB
`/usr/share/doc/prover9/examples/`		root:root	0o755
`/usr/share/doc/prover9/examples/prover9.examples/`		root:root	0o755
`/usr/share/doc/prover9/examples/prover9.examples/README`	text/plain	root:root	0o644	80 bytes
`/usr/share/doc/prover9/examples/prover9.examples/x2.in`	text/plain	root:root	0o644	152 bytes
`/usr/share/doc/prover9/examples/prover9.examples/x2.out.gz`	application/gzip	root:root	0o644	1.5 KB
`/usr/share/doc/prover9/examples/prover9.examples/x2.hints`	text/plain	root:root	0o644	496 bytes
`/usr/share/doc/prover9/examples/mace4.examples/`		root:root	0o755
`/usr/share/doc/prover9/examples/mace4.examples/README`	text/plain	root:root	0o644	80 bytes
`/usr/share/doc/prover9/examples/mace4.examples/rw1.in`	text/plain	root:root	0o644	722 bytes
`/usr/share/doc/prover9/examples/mace4.examples/group2.in`	text/plain	root:root	0o644	601 bytes
`/usr/share/doc/prover9/changelog.Debian.gz`		root:root	0o777