Format: 3.0 (quilt)
Source: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Architecture: all
Version: 4.4.1~pre170114-1.1~build1
Maintainer: Hendrik Tews <hendrik@askra.de>
Homepage: https://proofgeneral.github.io/
Standards-Version: 3.9.8
Build-Depends: debhelper (>= 9), texinfo, texlive-latex-recommended, texlive-generic-recommended, texlive-fonts-recommended, emacs-gtk
Package-List:
 proofgeneral deb editors optional arch=all
 proofgeneral-doc deb doc optional arch=all
