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

Format: 1.0
Source: prover9-manual
Binary: prover9-doc
Architecture: all
Version: 0.0.200902a-1
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
Checksums-Sha1: 
 de9bd94d3f631ad7781640ac17886082eb22af93 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 8c7702cf7e1a905a601d6251140eb465fd47e68c 4185 prover9-manual_0.0.200902a-1.diff.gz
Checksums-Sha256: 
 8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 0d14cb86876ecb20bdcbe1fad98f288a9dd7d46629ff24a7340ef4fa2deeefcf 4185 prover9-manual_0.0.200902a-1.diff.gz
Files: 
 00b6779d2d3edbd4434a24eebb79b2a8 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 7427129d02078411724c50738beb2dca 4185 prover9-manual_0.0.200902a-1.diff.gz

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

iEYEARECAAYFAkm8V5QACgkQXDqn6DSH7HGNMACgqa4fGXpogSgjrZRw6AIcPMoh
nkcAnicf0SaQx7MH235TNKKJTLWf7m43
=1dZB
-----END PGP SIGNATURE-----