deb_control_files:
- conffiles
- control
- md5sums
deb_fields:
Architecture: all
Conflicts: proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc
Depends: emacs
Description: |-
generic frontend for proof assistants
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 Proof General support for Coq. (There is no
other proof assistant that one could sensibly support.)
Homepage: https://proofgeneral.github.io/
Installed-Size: '2140'
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Package: proofgeneral
Priority: optional
Replaces: proofgeneral-coq, proofgeneral-misc
Section: editors
Suggests: proofgeneral-doc, prooftree
Version: 4.5-2
srcpkg_name: proofgeneral
srcpkg_version: 4.5-2