Format: 3.0 (quilt)
Source: prover9-manual
Binary: prover9-doc
Architecture: all
Version: 0.0.200902a-2.1
Maintainer: Debian QA Group <packages@qa.debian.org>
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Standards-Version: 3.9.4
Vcs-Browser: http://git.debian.org/?p=collab-maint/prover9-manual.git
Vcs-Git: git://git.debian.org/git/collab-maint/prover9-manual.git
Build-Depends: debhelper (>= 9)
Build-Depends-Indep: htmldoc
Package-List:
 prover9-doc deb doc optional arch=all
Checksums-Sha1:
 de9bd94d3f631ad7781640ac17886082eb22af93 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 878de2c9d0206dc64d2f9437e1a6e5c874286b31 4676 prover9-manual_0.0.200902a-2.1.debian.tar.xz
Checksums-Sha256:
 8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 58e21953af42e4169b0556e4f391aaac7e28447511241e66b12911224884217d 4676 prover9-manual_0.0.200902a-2.1.debian.tar.xz
Files:
 00b6779d2d3edbd4434a24eebb79b2a8 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 2b9779a92b07b5477e479b9ee9fe63c4 4676 prover9-manual_0.0.200902a-2.1.debian.tar.xz