Format: 1.0
Source: prover9-manual
Binary: prover9-doc
Architecture: all
Version: 0.0.200902a-1.5.201403111140
Maintainer: Peter Collingbourne <peter@pcc.me.uk>
Dm-Upload-Allowed: yes
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Standards-Version: 3.8.1
Vcs-Bzr: nosmart+http://bzr.debian.org/collab-maint/prover9-manual/unstable/
Build-Depends: debhelper (>= 5), dpatch
Build-Depends-Indep: htmldoc
Package-List: 
 prover9-doc deb doc optional
Checksums-Sha1: 
 de9bd94d3f631ad7781640ac17886082eb22af93 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 8c8ccab13e04dd8cc31d54be3537f3e8e83efae3 4322 prover9-manual_0.0.200902a-1.5.201403111140.diff.gz
Checksums-Sha256: 
 8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 508d0a2d9390c9bdc70a2ae7237be9271b507e0af0183f7a667ff8b3e18f7674 4322 prover9-manual_0.0.200902a-1.5.201403111140.diff.gz
Files: 
 00b6779d2d3edbd4434a24eebb79b2a8 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 7e95a4f4118ada53a8f1e9f4c39e793a 4322 prover9-manual_0.0.200902a-1.5.201403111140.diff.gz