Package: proofgeneral
Priority: optional
Section: universe/editors
Installed-Size: 2140
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 4.5-3build1
Replaces: proofgeneral-coq, proofgeneral-misc
Suggests: proofgeneral-doc, prooftree
Depends: emacs
Conflicts: proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc
Filename: pool/universe/p/proofgeneral/proofgeneral_4.5-3build1_all.deb
Size: 589852
MD5sum: 8ffb4c10f8354b05a3c80229bb1d99f2
SHA1: 485a5ec24ce8a07d236735c2165e44d83b1f3ca7
SHA256: ba3a07302571e6ad62c6cf583f5aa8f51f7b2d0a798b5250f121658ad54e42ed
SHA512: 3540d9d2b862d93b5348699eff9344bb4a6b62dae6bf9252ffc0dce03ff80d3f1bd1228ef30cbd45cc7ab5da79aaeb7b18bf5d858872952f129d7a921ab49de2
Homepage: https://proofgeneral.github.io/
Description: generic frontend for proof assistants
Description-md5: d9db6f28a37c20061313aac90898d734
Original-Maintainer: Debian Math Team <team+math@tracker.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug