-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.0
Source: prover9-manual
Binary: prover9-doc
Architecture: all
Version: 0.0.200806a-1
Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk>
Dm-Upload-Allowed: yes
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Standards-Version: 3.8.0
Vcs-Bzr: http://bzr.debian.org/collab-maint/prover9-manual/unstable/
Build-Depends: debhelper (>= 5), dpatch
Build-Depends-Indep: htmldoc
Checksums-Sha1: 
 d681ac467469fe63eca2856be73bd7fb1418f0ef 879029 prover9-manual_0.0.200806a.orig.tar.gz
 ae033b0b1dad1dd6cca876153d679494cfa9842a 3903 prover9-manual_0.0.200806a-1.diff.gz
Checksums-Sha256: 
 348b6bdbc6fb723c3f07e281002fde31a87affed62d678bd9cba04fd15ace093 879029 prover9-manual_0.0.200806a.orig.tar.gz
 0e499c9ed918711b032279c21c790233cb8f95f9b7581a27ab336a43603ba53f 3903 prover9-manual_0.0.200806a-1.diff.gz
Files: 
 3e105036faadc5ed90130021c81ce437 879029 prover9-manual_0.0.200806a.orig.tar.gz
 1a4f07396735bba43739ce917b5bd2a7 3903 prover9-manual_0.0.200806a-1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFIaAbJXDqn6DSH7HERAh2vAJ0e4Pzu4I8mo/Zx34r9RFT4C6ZzNQCfUkv1
GMKBaxRiokU9Z0T2rsAgjuM=
=5zZn
-----END PGP SIGNATURE-----