/usr/lib/coq/theories/

This file is indexed.

/usr/lib/coq/theories/ is in coq-theories 8.6-4.

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

There are a lot of files here (3028 total). We're only showing the immediate contents of /usr/lib/coq/theories.

File	Owner	Mode
`..`
`/usr/lib/coq/theories/Arith/`	root:root	0o755
`/usr/lib/coq/theories/Bool/`	root:root	0o755
`/usr/lib/coq/theories/Classes/`	root:root	0o755
`/usr/lib/coq/theories/Compat/`	root:root	0o755
`/usr/lib/coq/theories/FSets/`	root:root	0o755
`/usr/lib/coq/theories/Init/`	root:root	0o755
`/usr/lib/coq/theories/Lists/`	root:root	0o755
`/usr/lib/coq/theories/Logic/`	root:root	0o755
`/usr/lib/coq/theories/MSets/`	root:root	0o755
`/usr/lib/coq/theories/NArith/`	root:root	0o755
`/usr/lib/coq/theories/Numbers/`	root:root	0o755
`/usr/lib/coq/theories/PArith/`	root:root	0o755
`/usr/lib/coq/theories/Program/`	root:root	0o755
`/usr/lib/coq/theories/QArith/`	root:root	0o755
`/usr/lib/coq/theories/Reals/`	root:root	0o755
`/usr/lib/coq/theories/Relations/`	root:root	0o755
`/usr/lib/coq/theories/Setoids/`	root:root	0o755
`/usr/lib/coq/theories/Sets/`	root:root	0o755
`/usr/lib/coq/theories/Sorting/`	root:root	0o755
`/usr/lib/coq/theories/Strings/`	root:root	0o755
`/usr/lib/coq/theories/Structures/`	root:root	0o755
`/usr/lib/coq/theories/Unicode/`	root:root	0o755
`/usr/lib/coq/theories/Vectors/`	root:root	0o755
`/usr/lib/coq/theories/Wellfounded/`	root:root	0o755
`/usr/lib/coq/theories/ZArith/`	root:root	0o755

coq-theories 8.6-4 / usr / lib / coq / theories