This file is indexed.

/usr/ is in proofgeneral-coq 3.7-4.

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

File Mime Type Owner Mode Size
..
/usr/share/ root:root 0o755
/usr/share/emacs/ root:root 0o755
/usr/share/emacs/site-lisp/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/coq/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/coq/root2.v text/plain root:root 0o644 6.4 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/x-symbol-coq.el text/x-lisp root:root 0o644 14.4 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/KnasterTarski.v text/plain root:root 0o644 898 bytes
/usr/share/emacs/site-lisp/proofgeneral/coq/example-utf8.v text/plain root:root 0o644 598 bytes
/usr/share/emacs/site-lisp/proofgeneral/coq/example-x-symbols.v text/plain root:root 0o644 1.5 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/ex-ssreflect.v text/plain root:root 0o644 3.7 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el text/x-lisp root:root 0o644 8.6 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el text/plain root:root 0o644 3.6 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el text/x-lisp root:root 0o644 29.0 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/README text/plain root:root 0o644 2.1 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/example.v text/plain root:root 0o644 287 bytes
/usr/share/emacs/site-lisp/proofgeneral/coq/ex-module.v text/plain root:root 0o644 1.3 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el text/x-lisp root:root 0o644 46.8 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el text/x-lisp root:root 0o644 5.8 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el text/plain root:root 0o644 529 bytes
/usr/share/emacs/site-lisp/proofgeneral/coq/BUGS text/plain root:root 0o644 530 bytes
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-mmm.el text/plain root:root 0o644 1.3 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/utf8.v text/plain root:root 0o644 2.4 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/TODO-TMP text/x-lisp root:root 0o644 2.0 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el text/x-lisp root:root 0o644 6.6 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq.el text/x-lisp root:root 0o644 60.5 KB
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/coqtags.1.gz application/gzip root:root 0o644 589 bytes
/usr/share/doc/ root:root 0o755
/usr/share/doc/proofgeneral-coq/ root:root 0o755
/usr/share/doc/proofgeneral-coq/copyright text/plain root:root 0o644 684 bytes
/usr/share/doc/proofgeneral-coq/examples/ root:root 0o755
/usr/share/doc/proofgeneral-coq/examples/example.v text/plain root:root 0o644 287 bytes
/usr/share/doc/proofgeneral-coq/changelog.gz application/gzip root:root 0o644 7.5 KB
/usr/share/doc/proofgeneral-coq/changelog.Debian.gz application/gzip root:root 0o644 2.8 KB
/usr/bin/ root:root 0o755
/usr/bin/coqtags text/x-perl root:root 0o755 1.8 KB