Package: proofgeneral-misc Priority: optional Section: universe/editors Installed-Size: 732 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian QA Group <packages@qa.debian.org> Architecture: all Source: proofgeneral Version: 3.7-4 Depends: proofgeneral Filename: pool/universe/p/proofgeneral/proofgeneral-misc_3.7-4_all.deb Size: 142178 MD5sum: 6b93b5581cc87c6d38a16af1cfabba62 SHA1: 5ce636b3fec325f30658ea15d2ba4baad5c3e48a SHA256: 8facef93547b6ffbb93d3776c9348603c0846e0be27a3dd9782cd34ab847dd73 Description: generic interface for proof assistants - theorem provers support Homepage: http://proofgeneral.inf.ed.ac.uk Description-md5: babc4f3657db25cf57cd61d7aec45efa Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu