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