File list of package proofgeneral in sid of architecture all
/etc/emacs/site-start.d/50proofgeneral.el /usr/bin/coqtags /usr/bin/proofgeneral /usr/lib/emacsen-common/packages/compat/proofgeneral /usr/share/application-registry/proofgeneral.applications /usr/share/applications/proofgeneral.desktop /usr/share/doc/proofgeneral/AUTHORS /usr/share/doc/proofgeneral/BUGS /usr/share/doc/proofgeneral/COMPATIBILITY /usr/share/doc/proofgeneral/FAQ.md.gz /usr/share/doc/proofgeneral/README.Debian /usr/share/doc/proofgeneral/README.md.gz /usr/share/doc/proofgeneral/changelog.Debian.gz /usr/share/doc/proofgeneral/changelog.gz /usr/share/doc/proofgeneral/copyright /usr/share/doc/proofgeneral/examples/coq_example.v /usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-diffs.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-mode.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-movie.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pamacs.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-vars.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-xml.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-auxmodes.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-easy-config.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-faces.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-indent.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-menu.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-script.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-shell.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-syntax.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-toolbar.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-tree.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-unicode-tokens.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-useropts.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof.el /usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral-splash.png /usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-command.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-command.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-context.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-context.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-find.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-find.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-help.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-help.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-home.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-home.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-info.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-info.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-next.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-next.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-prooftree.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-prooftree.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-qed.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-qed.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-retract.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-retract.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-state.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-state.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-undo.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-undo.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-use.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-use.xpm /usr/share/emacs/site-lisp/proofgeneral/images/hiddenproof.xpm /usr/share/emacs/site-lisp/proofgeneral/lib/bufhist.el /usr/share/emacs/site-lisp/proofgeneral/lib/holes.el /usr/share/emacs/site-lisp/proofgeneral/lib/local-vars-list.el /usr/share/emacs/site-lisp/proofgeneral/lib/maths-menu.el /usr/share/emacs/site-lisp/proofgeneral/lib/pg-dev.el /usr/share/emacs/site-lisp/proofgeneral/lib/pg-fontsets.el /usr/share/emacs/site-lisp/proofgeneral/lib/proof-compat.el /usr/share/emacs/site-lisp/proofgeneral/lib/scomint.el /usr/share/emacs/site-lisp/proofgeneral/lib/span.el /usr/share/emacs/site-lisp/proofgeneral/lib/texi-docstring-magic.el /usr/share/emacs/site-lisp/proofgeneral/lib/unicode-chars.el /usr/share/emacs/site-lisp/proofgeneral/lib/unicode-tokens.el /usr/share/icons/hicolor/128x128/apps/proofgeneral.png /usr/share/icons/hicolor/16x16/apps/proofgeneral.png /usr/share/icons/hicolor/32x32/apps/proofgeneral.png /usr/share/icons/hicolor/48x48/apps/proofgeneral.png /usr/share/icons/hicolor/64x64/apps/proofgeneral.png /usr/share/lintian/overrides/proofgeneral /usr/share/man/man1/coqtags.1.gz /usr/share/man/man1/proofgeneral.1.gz /usr/share/mime-info/proofgeneral.keys /usr/share/mime-info/proofgeneral.mime