deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Breaks: proofgeneral (<< 4)
Description: |-
generic frontend for proof assistants - documentation
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers.
.
This package provides the Proof General user manual in info, html and
pdf form.
Homepage: https://proofgeneral.github.io/
Installed-Size: '1534'
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Package: proofgeneral-doc
Priority: optional
Recommends: info-browser | pdf-viewer | www-browser
Replaces: proofgeneral (<< 4)
Section: doc
Source: proofgeneral
Suggests: proofgeneral
Version: 4.5-2
srcpkg_name: proofgeneral
srcpkg_version: 4.5-2