This file is indexed.

/usr/share/ is in proofgeneral 4.4.1~pre170114-1.

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

File Mime Type Owner Mode Size
..
/usr/share/mime-info/ root:root 0o755
/usr/share/application-registry/ root:root 0o755
/usr/share/application-registry/proofgeneral.applications text/plain root:root 0o644 169 bytes
/usr/share/applications/ root:root 0o755
/usr/share/applications/proofgeneral.desktop text/plain root:root 0o644 325 bytes
/usr/share/doc/ root:root 0o755
/usr/share/doc/proofgeneral/ root:root 0o755
/usr/share/doc/proofgeneral/AUTHORS text/plain root:root 0o644 743 bytes
/usr/share/doc/proofgeneral/BUGS text/x-lisp root:root 0o644 4.0 KB
/usr/share/doc/proofgeneral/COMPATIBILITY text/plain root:root 0o644 1.4 KB
/usr/share/doc/proofgeneral/FAQ.md.gz application/gzip root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral/README.Debian text/plain root:root 0o644 1.1 KB
/usr/share/doc/proofgeneral/README.md text/plain root:root 0o644 2.1 KB
/usr/share/doc/proofgeneral/REGISTER text/plain root:root 0o644 406 bytes
/usr/share/doc/proofgeneral/changelog.Debian.gz application/gzip root:root 0o644 1.9 KB
/usr/share/doc/proofgeneral/copyright text/plain root:root 0o644 21.5 KB
/usr/share/doc/proofgeneral/examples/ root:root 0o755
/usr/share/doc/proofgeneral/examples/coq_example.v text/plain root:root 0o644 251 bytes
/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/coq-abbrev.el text/x-lisp root:root 0o644 12.4 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el text/x-lisp root:root 0o644 3.0 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.el text/x-lisp root:root 0o644 27.4 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el text/x-lisp root:root 0o644 12.4 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el text/x-lisp root:root 0o644 42.9 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el text/x-lisp root:root 0o644 7.0 KB
/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/coq-par-compile.el text/x-lisp root:root 0o644 82.8 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-test.el text/plain root:root 0o644 35.4 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.el text/x-lisp root:root 0o644 17.6 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.el text/x-lisp root:root 0o644 40.5 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el text/x-lisp root:root 0o644 76.0 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.el text/x-lisp root:root 0o644 26.5 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el text/x-lisp root:root 0o644 7.3 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq.el text/x-lisp root:root 0o644 112.6 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.el text/x-lisp root:root 0o644 2.1 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.el text/x-lisp root:root 0o644 8.7 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.el text/plain root:root 0o644 8.0 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.el text/x-lisp root:root 0o644 4.2 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-movie.el text/x-lisp root:root 0o644 3.8 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pamacs.el text/x-lisp root:root 0o644 9.6 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.el text/x-lisp root:root 0o644 21.9 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.el text/x-lisp root:root 0o644 22.6 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.el text/x-lisp root:root 0o644 21.1 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.el text/x-lisp root:root 0o644 47.4 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-vars.el text/x-lisp root:root 0o644 10.0 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-xml.el text/x-lisp root:root 0o644 7.2 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.el text/x-lisp root:root 0o644 34.1 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-auxmodes.el text/x-lisp root:root 0o644 2.0 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.el text/plain root:root 0o644 71.7 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.el text/x-lisp root:root 0o644 9.6 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-easy-config.el text/x-lisp root:root 0o644 3.8 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-faces.el text/plain root:root 0o644 8.0 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-indent.el text/x-lisp root:root 0o644 3.2 KB
/usr/share/emacs/site-lisp/proofgeneral/images/epg-help.png image/png root:root 0o644 879 bytes
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.el text/x-lisp root:root 0o644 1.8 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-menu.el text/x-lisp root:root 0o644 36.8 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-mmm.el text/x-lisp root:root 0o644 2.7 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-script.el text/x-lisp root:root 0o644 102.9 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-shell.el text/x-lisp root:root 0o644 70.5 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el text/x-lisp root:root 0o644 13.8 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.el text/x-lisp root:root 0o644 10.7 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-syntax.el text/x-lisp root:root 0o644 11.8 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-toolbar.el text/x-lisp root:root 0o644 8.5 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-tree.el text/plain root:root 0o644 50.5 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-unicode-tokens.el text/x-lisp root:root 0o644 5.0 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-useropts.el text/x-lisp root:root 0o644 16.6 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.el text/x-lisp root:root 0o644 29.9 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof.el text/plain root:root 0o644 1.3 KB
/usr/share/emacs/site-lisp/proofgeneral/hol-light/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light-autotest.el text/x-lisp root:root 0o644 700 bytes
/usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light-unicode-tokens.el text/x-lisp root:root 0o644 6.0 KB
/usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light.el text/x-lisp root:root 0o644 18.5 KB
/usr/share/emacs/site-lisp/proofgeneral/images/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral-splash.png image/png root:root 0o644 54.2 KB
/usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral.png image/png root:root 0o644 120.5 KB
/usr/share/emacs/site-lisp/proofgeneral/images/README text/plain root:root 0o644 904 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.png image/png root:root 0o644 236 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.xpm image/x-xpmi root:root 0o644 908 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-command.png image/png root:root 0o644 860 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-command.xpm image/x-xpmi root:root 0o644 4.4 KB
/usr/share/emacs/site-lisp/proofgeneral/images/epg-context.png image/png root:root 0o644 492 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-context.xpm image/x-xpmi root:root 0o644 3.2 KB
/usr/share/emacs/site-lisp/proofgeneral/images/epg-find.png image/png root:root 0o644 744 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-find.xpm image/x-xpmi root:root 0o644 3.7 KB
/usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.png image/png root:root 0o644 1012 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.xpm image/x-xpmi root:root 0o644 5.3 KB
/usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.png image/png root:root 0o644 325 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.xpm image/x-xpmi root:root 0o644 1.4 KB
/usr/share/emacs/site-lisp/proofgeneral/images/epg-help.xpm image/x-xpmi root:root 0o644 4.7 KB
/usr/share/emacs/site-lisp/proofgeneral/images/epg-home.png image/png root:root 0o644 674 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-home.xpm image/x-xpmi root:root 0o644 2.7 KB
/usr/share/emacs/site-lisp/proofgeneral/images/epg-info.png image/png root:root 0o644 598 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-info.xpm image/x-xpmi root:root 0o644 2.9 KB
/usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.png image/png root:root 0o644 205 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.xpm image/x-xpmi root:root 0o644 1.0 KB
/usr/share/emacs/site-lisp/proofgeneral/images/epg-next.png image/png root:root 0o644 141 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-next.xpm image/x-xpmi root:root 0o644 786 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-prooftree.png image/png root:root 0o644 218 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-prooftree.xpm image/x-xpmi root:root 0o644 776 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-qed.png image/png root:root 0o644 1.2 KB
/usr/share/emacs/site-lisp/proofgeneral/images/epg-qed.xpm image/x-xpmi root:root 0o644 6.4 KB
/usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.png image/png root:root 0o644 165 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.xpm image/x-xpmi root:root 0o644 789 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-retract.png image/png root:root 0o644 155 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-retract.xpm image/x-xpmi root:root 0o644 789 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-state.png image/png root:root 0o644 490 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-state.xpm image/x-xpmi root:root 0o644 3.2 KB
/usr/share/emacs/site-lisp/proofgeneral/images/epg-undo.png image/png root:root 0o644 143 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-undo.xpm image/x-xpmi root:root 0o644 786 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-use.png image/png root:root 0o644 154 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-use.xpm image/x-xpmi root:root 0o644 785 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/hiddenproof.xpm image/x-xpmi root:root 0o644 1.6 KB
/usr/share/emacs/site-lisp/proofgeneral/lib/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/lib/bufhist.el text/x-lisp root:root 0o644 12.3 KB
/usr/share/emacs/site-lisp/proofgeneral/lib/holes.el text/x-lisp root:root 0o644 25.4 KB
/usr/share/emacs/site-lisp/proofgeneral/lib/local-vars-list.el text/x-lisp root:root 0o644 5.2 KB
/usr/share/emacs/site-lisp/proofgeneral/lib/maths-menu.el application/octet-stream root:root 0o644 13.1 KB
/usr/share/emacs/site-lisp/proofgeneral/lib/pg-dev.el text/x-lisp root:root 0o644 5.2 KB
/usr/share/emacs/site-lisp/proofgeneral/lib/pg-fontsets.el text/x-lisp root:root 0o644 2.0 KB
/usr/share/emacs/site-lisp/proofgeneral/lib/proof-compat.el text/x-lisp root:root 0o644 4.1 KB
/usr/share/emacs/site-lisp/proofgeneral/lib/scomint.el text/x-lisp root:root 0o644 11.1 KB
/usr/share/emacs/site-lisp/proofgeneral/lib/span.el text/x-lisp root:root 0o644 8.3 KB
/usr/share/emacs/site-lisp/proofgeneral/lib/texi-docstring-magic.el text/x-lisp root:root 0o644 14.0 KB
/usr/share/emacs/site-lisp/proofgeneral/lib/unicode-chars.el text/x-lisp root:root 0o644 240.7 KB
/usr/share/emacs/site-lisp/proofgeneral/lib/unicode-tokens.el text/x-lisp root:root 0o644 52.3 KB
/usr/share/icons/ root:root 0o755
/usr/share/icons/hicolor/ root:root 0o755
/usr/share/icons/hicolor/16x16/ root:root 0o755
/usr/share/icons/hicolor/16x16/proofgeneral.png image/png root:root 0o644 811 bytes
/usr/share/icons/hicolor/32x32/ root:root 0o755
/usr/share/icons/hicolor/32x32/proofgeneral.png image/png root:root 0o644 1.8 KB
/usr/share/icons/hicolor/48x48/ root:root 0o755
/usr/share/icons/hicolor/48x48/proofgeneral.png image/png root:root 0o644 3.4 KB
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/proofgeneral.1.gz application/gzip root:root 0o644 697 bytes
/usr/share/mime-info/proofgeneral.keys text/plain root:root 0o644 431 bytes
/usr/share/mime-info/proofgeneral.mime text/plain root:root 0o644 52 bytes
/usr/share/pixmaps/ root:root 0o755
/usr/share/pixmaps/proofgeneral.png image/png root:root 0o644 3.4 KB