-----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 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-----