This package is 589.1 KB.
It is available at http://ftp.debian.org/debian/pool/main/p/proofgeneral/proofgeneral_4.4.1~pre170114-1_all.deb
.
View its full control file here:
debian/control.
generic frontend for proof assistants
This package does not recommend any other package.
This package suggests:
proofgeneral-doc, prooftree.
This package conflicts with:
proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc.
proofgeneral 4.4.1~pre170114-1 is in debian - stretch / main. This package's architecture is: architectureless.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
postinst
|
text/x-shellscript | N/A | N/A | 324 bytes |
preinst
|
text/x-shellscript | N/A | N/A | 1.1 KB |
prerm
|
text/x-shellscript | N/A | N/A | 295 bytes |
/etc/
|
root:root | 0o755 | ||
/etc/emacs/
|
root:root | 0o755 | ||
/etc/emacs/site-start.d/
|
root:root | 0o755 | ||
/etc/emacs/site-start.d/50proofgeneral.el
|
text/plain | root:root | 0o644 | 1017 bytes |
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/coqtags
|
text/x-perl | root:root | 0o755 | 1.8 KB |
/usr/bin/proofgeneral
|
text/x-shellscript | root:root | 0o755 | 275 bytes |
/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/compat/
|
root:root | 0o755 | ||
/usr/lib/emacsen-common/packages/compat/proofgeneral
|
text/plain | root:root | 0o644 | 2 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/lib/emacsen-common/packages/remove/
|
root:root | 0o755 | ||
/usr/lib/emacsen-common/packages/remove/proofgeneral
|
text/x-shellscript | root:root | 0o755 | 284 bytes |
/usr/share/
|
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/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 4.7 KB |
/usr/share/doc/proofgeneral/changelog.gz
|
application/gzip | root:root | 0o644 | 7.8 KB |
/usr/share/doc/proofgeneral/COMPATIBILITY
|
text/plain | root:root | 0o644 | 1.4 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/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/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.el
|
text/x-lisp | root:root | 0o644 | 112.6 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/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.el
|
text/plain | root:root | 0o644 | 1.3 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/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/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.el
|
text/x-lisp | root:root | 0o644 | 18.5 KB |
/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/images/
|
root:root | 0o755 | ||
/usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.png
|
image/png | root:root | 0o644 | 307 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 | 889 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 | 854 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 | 1.0 KB |
/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 | 396 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.png
|
image/png | root:root | 0o644 | 918 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-home.png
|
image/png | root:root | 0o644 | 848 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 | 724 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 | 257 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 | 184 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 | 347 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 | 228 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 | 187 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 | 874 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 | 179 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 | 189 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/images/ProofGeneral.png
|
image/png | root:root | 0o644 | 158.3 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral-splash.png
|
image/png | root:root | 0o644 | 65.0 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/README
|
text/plain | root:root | 0o644 | 904 bytes |
/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 | 1020 bytes |
/usr/share/icons/hicolor/32x32/
|
root:root | 0o755 | ||
/usr/share/icons/hicolor/32x32/proofgeneral.png
|
image/png | root:root | 0o644 | 2.0 KB |
/usr/share/icons/hicolor/48x48/
|
root:root | 0o755 | ||
/usr/share/icons/hicolor/48x48/proofgeneral.png
|
image/png | root:root | 0o644 | 3.6 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/
|
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/pixmaps/
|
root:root | 0o755 | ||
/usr/share/pixmaps/proofgeneral.png
|
image/png | root:root | 0o644 | 3.6 KB |