coq-theories 8.4pl4dfsg-3build2 / usr / lib / coq / theories

This file is indexed.

/usr/lib/coq/theories/ is in coq-theories 8.4pl4dfsg-3build2.

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

File Mime Type Owner Mode Size
..
/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/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

APT Browse - Built by Thomas Orozco.