This file is indexed.

/usr/share/doc/why/examples-c/g4/ is in why-examples 2.34-2.

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

File Mime Type Owner Mode Size
..
/usr/share/doc/why/examples-c/g4/Makefile text/plain root:root 0o644 762 bytes
/usr/share/doc/why/examples-c/g4/coq/ root:root 0o755
/usr/share/doc/why/examples-c/g4/coq/G4.v text/plain root:root 0o644 8.7 KB
/usr/share/doc/why/examples-c/g4/coq/G4z.v text/plain root:root 0o644 5.2 KB
/usr/share/doc/why/examples-c/g4/coq/Lex3.v text/plain root:root 0o644 880 bytes
/usr/share/doc/why/examples-c/g4/coq/g4_why.v text/plain root:root 0o644 5.6 KB
/usr/share/doc/why/examples-c/g4/coq/nat_of_Z.v text/plain root:root 0o644 871 bytes
/usr/share/doc/why/examples-c/g4/g4.c text/x-c root:root 0o644 657 bytes