Format: 3.0 (quilt)
Source: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Architecture: all
Version: 4.2~pre120605-2.5.201403111055
Maintainer: Hendrik Tews <hendrik@askra.de>
Homepage: http://proofgeneral.inf.ed.ac.uk
Standards-Version: 3.9.3
Build-Depends: debhelper (>= 8), texinfo, texlive-latex-base, texlive-generic-recommended, texi2html, emacs23-nox | emacs23 | emacs23-lucid
Package-List: 
 proofgeneral deb editors optional
 proofgeneral-doc deb doc optional
Checksums-Sha1: 
 31fce41a4a67a40701a8e8c83d1de1df26501c66 1020306 proofgeneral_4.2~pre120605.orig.tar.gz
 7dbf9af6f4914b9b2876fe2aef981a24ad04ad50 19692 proofgeneral_4.2~pre120605-2.5.201403111055.debian.tar.gz
Checksums-Sha256: 
 fa6f123aac7509370164c7a3217a332376c733138e28169852b4b4330c576fab 1020306 proofgeneral_4.2~pre120605.orig.tar.gz
 cd7bf295031600250aeffea78003e2f84292738c66e6a2ee1d324658d7fe56ee 19692 proofgeneral_4.2~pre120605-2.5.201403111055.debian.tar.gz
Files: 
 f103b1b6badf87188ab92ad47a507c44 1020306 proofgeneral_4.2~pre120605.orig.tar.gz
 170465583a085162983fa485cdaaae74 19692 proofgeneral_4.2~pre120605-2.5.201403111055.debian.tar.gz