proofgeneral (4.5-3)
Details
Core information at a glance
- Distribution
- debian
- Origin
- debian-forky
- Repository
- https://deb.debian.org/debian
- Codename
- forky
- Component
- main
- Source
- none
- Architecture
- s390x
- Section
- editors
- Priority
- optional
- Maintainer
- Debian Math Team <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 2.1 kB
- Size expected
- 640.6 kB
- Size actual
- 640.6 kB
- Size match
Description
generic frontend for proof assistants
Tags
Package classification tags
field::mathematics
implemented-in::lisp
interface::graphical
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 1cbbbcd9…3498a1ce | |
| SHA-1 | 92c64522…123856ce | |
| SHA-256 | 3da38765…79fd081b | |
| SHA-512 | 7442ad38…0378089c |
Contents
Files and directories included
. etc etc/emacs etc/emacs/site-start.d etc/emacs/site-start.d/50proofgeneral.el usr usr/bin usr/bin/coqtags usr/bin/proofgeneral usr/lib usr/lib/emacsen-common usr/lib/emacsen-common/packages usr/lib/emacsen-common/packages/compat usr/lib/emacsen-common/packages/compat/proofgeneral usr/share usr/share/application-registry usr/share/application-registry/proofgeneral.applications usr/share/applications usr/share/applications/proofgeneral.desktop usr/share/doc usr/share/doc/proofgeneral 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 usr/share/doc/proofgeneral/examples/coq_example.v usr/share/emacs usr/share/emacs/site-lisp usr/share/emacs/site-lisp/proofgeneral usr/share/emacs/site-lisp/proofgeneral/coq 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 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 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 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 usr/share/icons/hicolor usr/share/icons/hicolor/128x128 usr/share/icons/hicolor/128x128/apps usr/share/icons/hicolor/128x128/apps/proofgeneral.png usr/share/icons/hicolor/16x16 usr/share/icons/hicolor/16x16/apps usr/share/icons/hicolor/16x16/apps/proofgeneral.png usr/share/icons/hicolor/32x32 usr/share/icons/hicolor/32x32/apps usr/share/icons/hicolor/32x32/apps/proofgeneral.png usr/share/icons/hicolor/48x48 usr/share/icons/hicolor/48x48/apps usr/share/icons/hicolor/48x48/apps/proofgeneral.png usr/share/icons/hicolor/64x64 usr/share/icons/hicolor/64x64/apps usr/share/icons/hicolor/64x64/apps/proofgeneral.png usr/share/lintian usr/share/lintian/overrides usr/share/lintian/overrides/proofgeneral usr/share/man usr/share/man/man1 usr/share/man/man1/coqtags.1.gz usr/share/man/man1/proofgeneral.1.gz usr/share/mime-info usr/share/mime-info/proofgeneral.keys usr/share/mime-info/proofgeneral.mime