Package: proofgeneral
Architecture: all
Version: 4.5-3
Priority: optional
Section: universe/editors
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Math Team <team+math@tracker.debian.org>
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-3_all.deb
Size: 590214
MD5sum: cc274fbe9b027dc8befb6239c9cdf954
SHA1: 3637ded06433bff6008cb8f031e626399eb28bb4
SHA256: de1697f5ff0d61dfefcc98e21133067a8a23f53307527a3241110af46b7bd2fc
SHA512: 727bb73c08be77d1310b52ee999316a5d6ff0888995df734d9b65716f8a6690561a70e835c76fc943900e8524a4c24db98899a61262b243bca848f61fa2126e0
Homepage: https://proofgeneral.github.io/
Description: generic frontend for proof assistants
Description-md5: d9db6f28a37c20061313aac90898d734