Package: proofgeneral
Priority: optional
Section: universe/editors
Installed-Size: 1678
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Hendrik Tews <hendrik@askra.de>
Architecture: all
Version: 4.3~pre131011-0.2
Replaces: proofgeneral-coq, proofgeneral-misc
Depends: emacs24 | emacs24-nox | emacs24-lucid, mmm-mode
Suggests: proofgeneral-doc
Conflicts: proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc
Filename: pool/universe/p/proofgeneral/proofgeneral_4.3~pre131011-0.2_all.deb
Size: 364274
MD5sum: d3e755e03e668048b33ad96260fa3cd8
SHA1: 03ac5ad11e4877d931e238cccb9a35a3e8a6caf9
SHA256: aa2c8b886c452f525faab33596e12b18d54e78c7be728b206996878c6d519e82
Description: generic frontend for proof assistants
Homepage: http://proofgeneral.inf.ed.ac.uk
Description-md5: d9db6f28a37c20061313aac90898d734
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu