This file is indexed.

/usr/ is in proofgeneral 4.3~pre131011-0.2.

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

File Mime Type Owner Mode Size
..
/usr/share/icons/hicolor/16x16/ root:root 0o755
/usr/lib/ root:root 0o755
/usr/lib/emacsen-common/ root:root 0o755
/usr/lib/emacsen-common/packages/ root:root 0o755
/usr/lib/emacsen-common/packages/remove/ root:root 0o755
/usr/lib/emacsen-common/packages/remove/proofgeneral text/x-shellscript root:root 0o755 284 bytes
/usr/lib/emacsen-common/packages/install/ root:root 0o755
/usr/lib/emacsen-common/packages/install/proofgeneral text/x-shellscript root:root 0o755 1.9 KB
/usr/bin/ root:root 0o755
/usr/bin/proofgeneral text/x-shellscript root:root 0o755 275 bytes
/usr/share/ root:root 0o755
/usr/share/menu/ root:root 0o755
/usr/share/menu/proofgeneral text/plain root:root 0o644 135 bytes
/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 700 bytes
/usr/share/doc/ root:root 0o755
/usr/share/doc/proofgeneral/ root:root 0o755
/usr/share/doc/proofgeneral/FAQ.gz application/gzip root:root 0o644 4.2 KB
/usr/share/doc/proofgeneral/changelog.Debian.gz application/gzip root:root 0o644 4.3 KB
/usr/share/doc/proofgeneral/changelog.gz application/gzip root:root 0o644 5.6 KB
/usr/share/doc/proofgeneral/copyright text/plain root:root 0o644 22.3 KB
/usr/share/doc/proofgeneral/README.Debian text/plain root:root 0o644 1.5 KB
/usr/share/doc/proofgeneral/REGISTER text/plain root:root 0o644 406 bytes
/usr/share/doc/proofgeneral/README text/plain root:root 0o644 1.9 KB
/usr/share/doc/proofgeneral/COMPATIBILITY text/plain root:root 0o644 2.0 KB
/usr/share/doc/proofgeneral/BUGS text/x-lisp root:root 0o644 4.0 KB
/usr/share/doc/proofgeneral/AUTHORS text/plain root:root 0o644 672 bytes
/usr/share/doc/proofgeneral/examples/ root:root 0o755
/usr/share/doc/proofgeneral/examples/coq_example.v text/plain root:root 0o644 292 bytes
/usr/share/pixmaps/ root:root 0o755
/usr/share/pixmaps/proofgeneral.png image/png root:root 0o644 4.8 KB
/usr/share/mime-info/ root:root 0o755
/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/icons/ root:root 0o755
/usr/share/icons/hicolor/ root:root 0o755
/usr/share/icons/hicolor/32x32/ root:root 0o755
/usr/share/icons/hicolor/32x32/proofgeneral.png image/png root:root 0o644 1.9 KB
/usr/share/icons/hicolor/16x16/proofgeneral.png image/png root:root 0o644 746 bytes
/usr/share/icons/hicolor/48x48/ root:root 0o755
/usr/share/icons/hicolor/48x48/proofgeneral.png image/png root:root 0o644 4.8 KB
/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.el text/x-lisp root:root 0o644 89.7 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-syntax.el text/x-lisp root:root 0o644 48.2 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie-lexer.el text/x-lisp root:root 0o644 29.8 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.el text/x-lisp root:root 0o644 17.4 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.el text/x-lisp root:root 0o644 55.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-local-vars.el text/x-lisp root:root 0o644 7.1 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el text/x-lisp root:root 0o644 38.6 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el text/x-lisp root:root 0o644 9.7 KB
/usr/share/emacs/site-lisp/proofgeneral/images/epg-prooftree.png image/png root:root 0o644 347 bytes
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.el text/x-lisp root:root 0o644 24.0 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-abbrev.el text/x-lisp root:root 0o644 8.5 KB
/usr/share/emacs/site-lisp/proofgeneral/images/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/images/hiddenproof.xpm image/x-xpmi root:root 0o644 1.6 KB
/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/epg-use.png image/png root:root 0o644 189 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-undo.png image/png root:root 0o644 179 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-state.png image/png root:root 0o644 874 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-retract.png image/png root:root 0o644 187 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-restart.png image/png root:root 0o644 228 bytes
/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-qed.png image/png root:root 0o644 1.2 KB
/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-next.xpm image/x-xpmi root:root 0o644 786 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/epg-next.png image/png root:root 0o644 184 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-interrupt.png image/png root:root 0o644 257 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-info.png image/png root:root 0o644 724 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-home.png image/png root:root 0o644 848 bytes
/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-help.png image/png root:root 0o644 918 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-goto.png image/png root:root 0o644 396 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-goal.png image/png root:root 0o644 1.0 KB
/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-find.png image/png root:root 0o644 854 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-context.png image/png root:root 0o644 889 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-command.png image/png root:root 0o644 860 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-abort.png image/png root:root 0o644 307 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/README text/plain root:root 0o644 622 bytes
/usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral-image.jpg image/jpeg root:root 0o644 15.7 KB
/usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral-image.gif image/gif root:root 0o644 17.7 KB
/usr/share/emacs/site-lisp/proofgeneral/lib/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/lib/unicode-tokens.el text/x-lisp root:root 0o644 52.4 KB
/usr/share/emacs/site-lisp/proofgeneral/lib/unicode-chars.el text/x-lisp root:root 0o644 240.8 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/span.el text/x-lisp root:root 0o644 8.5 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/proof-compat.el text/x-lisp root:root 0o644 4.2 KB
/usr/share/emacs/site-lisp/proofgeneral/lib/pg-fontsets.el text/x-lisp root:root 0o644 2.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/maths-menu.el application/octet-stream root:root 0o644 13.2 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/holes.el text/x-lisp root:root 0o644 25.3 KB
/usr/share/emacs/site-lisp/proofgeneral/lib/bufhist.el text/x-lisp root:root 0o644 12.4 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/generic/proof.el text/plain root:root 0o644 1.4 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.el text/x-lisp root:root 0o644 28.3 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-useropts.el text/x-lisp root:root 0o644 16.7 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-tree.el text/plain root:root 0o644 50.5 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-syntax.el text/x-lisp root:root 0o644 11.8 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.el text/x-lisp root:root 0o644 11.3 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-shell.el text/x-lisp root:root 0o644 67.9 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-script.el text/x-lisp root:root 0o644 102.5 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-menu.el text/x-lisp root:root 0o644 35.8 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.el text/x-lisp root:root 0o644 1.9 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/generic/proof-faces.el text/plain root:root 0o644 8.0 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-depends.el text/x-lisp root:root 0o644 9.6 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.el text/plain root:root 0o644 69.9 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-autoloads.el text/x-lisp root:root 0o644 34.1 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/pg-vars.el text/x-lisp root:root 0o644 10.0 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.el text/x-lisp root:root 0o644 46.9 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.el text/x-lisp root:root 0o644 18.2 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.el text/x-lisp root:root 0o644 22.7 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-pamacs.el text/x-lisp root:root 0o644 9.6 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-goals.el text/x-lisp root:root 0o644 4.3 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-autotest.el text/x-lisp root:root 0o644 8.7 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.el text/x-lisp root:root 0o644 1.6 KB
/usr/share/applications/ root:root 0o755
/usr/share/applications/proofgeneral.desktop text/plain root:root 0o644 289 bytes
/usr/share/application-registry/ root:root 0o755
/usr/share/application-registry/proofgeneral.applications text/plain root:root 0o644 169 bytes