Package: proofgeneral-doc
Architecture: all
Version: 4.5-3
Priority: optional
Section: universe/doc
Source: proofgeneral
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Math Team <team+math@tracker.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1523
Recommends: info-browser | pdf-viewer | www-browser
Suggests: proofgeneral
Breaks: proofgeneral (<< 4)
Replaces: proofgeneral (<< 4)
Filename: pool/universe/p/proofgeneral/proofgeneral-doc_4.5-3_all.deb
Size: 661798
MD5sum: ccd7bee949a2b4f0b472a5c3fcf27ec6
SHA1: 1c0533c61779dc34a56963f21ea03f7fa30475cc
SHA256: 7f6acaec100db311478f22803b6dfa613ea0dd6bcd86bb6d26dcc720aaf0bf0c
SHA512: a31832e54af7e133c9fb9183ded4c3e76e548e3aa5ebd0bd1e1ad0328b20eb036229e6722f66c44f02d240dd3fb6d44b9ab4f7bd8720bb19d4695d1b855baa9e
Homepage: https://proofgeneral.github.io/
Description: generic frontend for proof assistants - documentation
Description-md5: cdd14456c76d5e2c98c64600689dd506