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

Format: 1.0
Source: prover9-manual
Binary: prover9-doc
Architecture: all
Version: 0.0.200809a-1
Maintainer: Peter Collingbourne <peter@peter.uk.to>
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: 
 b1b58675303240d39cfd2fc0064e5e9f9aa27188 874548 prover9-manual_0.0.200809a.orig.tar.gz
 b73ce09c969b44431999d84fe837b3e75be1c0fd 3949 prover9-manual_0.0.200809a-1.diff.gz
Checksums-Sha256: 
 e34dfe98c6625e62b521b08ae247e0649ab5f674954763fcb413f1a0e8353706 874548 prover9-manual_0.0.200809a.orig.tar.gz
 a31c2aec895f474bcc404a4c159e99d30a59497dcb8e9c6f642eb26235cb29b4 3949 prover9-manual_0.0.200809a-1.diff.gz
Files: 
 ed0dbb581b614cdfdcbb9a5ff8b5f472 874548 prover9-manual_0.0.200809a.orig.tar.gz
 ec6ae0ad4c30988abf6c276690f34262 3949 prover9-manual_0.0.200809a-1.diff.gz

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

iD8DBQFIzIJ3XDqn6DSH7HERAsgBAJ0dbLgVWyR6yN1tEm9nLDyNhsQ3+QCfbTgI
SHb8nI4nv7kXsEd9QdgIZTo=
=ONJR
-----END PGP SIGNATURE-----