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

Format: 1.0
Source: prover9-manual
Binary: prover9-doc
Architecture: all
Version: 0.0.200708-1
Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk>
Standards-Version: 3.7.2
Build-Depends: debhelper (>= 5)
Files: 
 a0dd82172a6fe4314e61a3afe44c9e39 235594 prover9-manual_0.0.200708.orig.tar.gz
 d099e9d7bd69fa6b28cc9d3d9bf7ac7c 1922 prover9-manual_0.0.200708-1.diff.gz

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

iD8DBQFGwihhXDqn6DSH7HERAjSGAKClvRoje6vQMtiiQ+FZB/fBfwlv8gCgxWqk
JkPYbjk7ISZEpA8pUURia7g=
=7tlm
-----END PGP SIGNATURE-----