Package: proofgeneral Architecture: all Version: 4.5-1 Priority: optional Section: universe/editors Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian Math Team Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 2140 Depends: emacs Suggests: proofgeneral-doc, prooftree Conflicts: proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc Replaces: proofgeneral-coq, proofgeneral-misc Filename: pool/universe/p/proofgeneral/proofgeneral_4.5-1_all.deb Size: 590368 MD5sum: 40512eaabebfad41160ecf628ad94c7c SHA1: 4727a7eb2ca634315b63b6eafecdd5aaeaa67163 SHA256: 588874331858a295b44106fc582619f23c692a5342c88903b169336c851cfef4 SHA512: 0f745d6994812e4488909c6658ba15cdc7e7e9189ff3e2d6dea0b4ed63b92cc4ffd7fb7c9769631bb5609ff7820063e7ff570ace0a990d13d11b6e2e34d1380c Homepage: https://proofgeneral.github.io/ Description: generic frontend for proof assistants Description-md5: d9db6f28a37c20061313aac90898d734