Package: proofgeneral-doc Priority: optional Section: universe/doc Installed-Size: 560 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 Filename: pool/universe/p/proofgeneral/proofgeneral-doc_3.7-4_all.deb Size: 90466 MD5sum: b5806a656493ec1d5a1866e409a8e21d SHA1: c1d3a17a48ce657f04ba4b651594700a201de4d6 SHA256: d736abcf502367208c1c20b3640bc30bd272ea8e02d7ff4049bb9e754f831a4d Description: generic interface for proof assistants - documentation Homepage: http://proofgeneral.inf.ed.ac.uk Description-md5: 9bb80b4a68de08cb13ebe4eedb09ef54 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu