Package: proofgeneral Architecture: all Version: 4.4.1~pre170114-1 Priority: optional Section: universe/editors Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Hendrik Tews <hendrik@askra.de> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 2028 Depends: emacs24 | emacs25, mmm-mode Suggests: proofgeneral-doc, prooftree Conflicts: proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc Replaces: proofgeneral-coq, proofgeneral-misc Filename: pool/universe/p/proofgeneral/proofgeneral_4.4.1~pre170114-1_all.deb Size: 542604 MD5sum: a7f43502f4c742bc65f98b5c028308d1 SHA1: 559f963224da4f735d93ffe599329df28d4983bf SHA256: 3c609104ca04266a7e0bc43dbae8cb5fadc087fb8a617d9af0bc25129c7352f9 Homepage: https://proofgeneral.github.io/ Description: generic frontend for proof assistants Description-md5: d9db6f28a37c20061313aac90898d734