<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Architecture: all
Version: 4.3~pre131011-0.2
Maintainer: Hendrik Tews &lt;hendrik@askra.de&gt;
Homepage: http://proofgeneral.inf.ed.ac.uk
Standards-Version: 3.9.4
Build-Depends: debhelper (&gt;= 9), texinfo, texlive-latex-recommended, texlive-generic-recommended, texlive-fonts-recommended, emacs24-nox | emacs24 | emacs24-lucid
Package-List:
 proofgeneral deb editors optional arch=all
 proofgeneral-doc deb doc optional arch=all

</pre></body></html>
