Format: 1.0
Source: proofgeneral
Version: 3.7-3.200810151039
Binary: proofgeneral-misc, proofgeneral-coq, proofgeneral, proofgeneral-minlog, proofgeneral-doc
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Standards-Version: 3.7.3
Build-Depends: debhelper (>= 4.1.16), po-debconf
Files: 
 c922c2d591812ce417b72c13259ef4ad 1982146 proofgeneral_3.7.orig.tar.gz
 4a9573a28ee88553913b31a55274bcf3 22492 proofgeneral_3.7-3.200810151039.diff.gz