Package: proofgeneral Priority: optional Section: universe/editors Installed-Size: 1696 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian QA Group <packages@qa.debian.org> Architecture: all Version: 3.7-4 Depends: debconf (>= 0.5) | debconf-2.0, emacs22 | emacsen, dpkg (>= 1.15.4) | install-info Recommends: proofgeneral-misc | proofgeneral-coq Suggests: x-symbol Filename: pool/universe/p/proofgeneral/proofgeneral_3.7-4_all.deb Size: 484910 MD5sum: 0d9e83e2ddd9abc03689e3a1aae72b33 SHA1: 3aad04f69a47606cc4df3b32777b1b2d81c78f20 SHA256: c7ed598cbd8df75d0fdd8dc4accb4983415df75ec033645017b60e1ad1cc0666 Description: generic interface for proof assistants - common package Homepage: http://proofgeneral.inf.ed.ac.uk Description-md5: 8914d53b6ee4a05f4dedd7bd91bd9e00 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu