Package: proofgeneral-doc
Priority: optional
Section: universe/doc
Installed-Size: 2107
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Hendrik Tews <hendrik@askra.de>
Architecture: all
Source: proofgeneral
Version: 4.3~pre131011-0.2
Replaces: proofgeneral (<< 4)
Recommends: info-browser | pdf-viewer | www-browser
Suggests: proofgeneral
Breaks: proofgeneral (<< 4)
Filename: pool/universe/p/proofgeneral/proofgeneral-doc_4.3~pre131011-0.2_all.deb
Size: 680856
MD5sum: e6740d08d8876b4eb2826b76d83486b3
SHA1: dee81fa3211d69b3a2770c5953dab6a65f6eabbd
SHA256: 1e32b5db408780bb2b60d612cdd663f3977227b69f25f0d3cc45ba3b02b4a8fc
Description: generic frontend for proof assistants - documentation
Homepage: http://proofgeneral.inf.ed.ac.uk
Description-md5: cdd14456c76d5e2c98c64600689dd506
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu