Package: proofgeneral-coq Priority: optional Section: universe/editors Installed-Size: 336 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 Recommends: coq Filename: pool/universe/p/proofgeneral/proofgeneral-coq_3.7-4_all.deb Size: 72368 MD5sum: 8d6e64e07a2aba0559408596b421dc8a SHA1: 751d0c2b93d90658263c0291ae4679265f7428dd SHA256: 7dd751f11569358572535381f39b840a7f7ca69baef680f7c022d2e8033e3fe3 Description: generic interface for proof assistants - coq support Homepage: http://proofgeneral.inf.ed.ac.uk Description-md5: ea7afe1d4f2c4ae603bf6ad01c9a843b Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu