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

Format: 3.0 (quilt)
Source: prover9-manual
Binary: prover9-doc
Architecture: all
Version: 0.0.200902a-2
Maintainer: Debian QA Group <packages@qa.debian.org>
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Standards-Version: 3.9.4
Vcs-Browser: http://git.debian.org/?p=collab-maint/prover9-manual.git
Vcs-Git: git://git.debian.org/git/collab-maint/prover9-manual.git
Build-Depends: debhelper (>= 9)
Build-Depends-Indep: htmldoc
Package-List: 
 prover9-doc deb doc optional
Checksums-Sha1: 
 de9bd94d3f631ad7781640ac17886082eb22af93 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 bd587ac95cbfb86f66113a084063a6e6dc815ea2 4703 prover9-manual_0.0.200902a-2.debian.tar.gz
Checksums-Sha256: 
 8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 c8da5e0cff1666068314e3cbf29850d72350207abf9393813494bee29d7722f4 4703 prover9-manual_0.0.200902a-2.debian.tar.gz
Files: 
 00b6779d2d3edbd4434a24eebb79b2a8 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 fdf84b690036f33061734981d66e13a7 4703 prover9-manual_0.0.200902a-2.debian.tar.gz

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

iQIcBAEBAgAGBQJRhJoDAAoJECHSBYmXSz6W3f8P/1vk22+SD41fDDu5S2FN1wqO
6KMd4yqn+3T6AS57ng1Uo7dlKTWzN2Bvt1O4P2qIQEjMJGkWE0aldE6ydvVinEy4
ZG0Nlyx31HtjmxrThVZS/LC3/ateH+5ADxHr2rax2/LshkVpSYRKnpgAc/G6qkjU
xe6u6w5UaTNLYzvcw5rMn7buOKzw2/I/zs8uN1ZriVQbEbTB7OC69jk2dGKTp+Un
vbKwZSSaHSPeX/tQatjPwDUPoNTdGeByEb9v3uq82lmnrxpzzvTp+NcrB8t9ez6X
vDgF3OXL08ODVTpSbxiU9kKeqWcMpeBd6UiS6vR2v+3zUdp00LelLtZr5ZFGbJQO
zJOT+ZTd+4rUpYx41aK0WM3wTvSIC7JkntOZ+v3YDZsnFpgvgkinyN2/hZaomsva
lyxT3QD0loivCpl94achdH3is4O9L8BGVAp05kUKicgQ4Sf+zaPE5WqZLF/0b2xu
Dcf2HYbcWAH28grkjJMGgbIfKiFLCyI4TZCghhCB50vNzmYAPzoPvNQ2lKAS+kox
yVKE6HC7UDZh3n0KXgMZAkvKZVkBP54ku1VNh7uA0EKBknlJnKQgRN7eZyapV8+l
zJNBSNe4rgBiNiggtExl0rTjl+oijFCWPbBEDPbczfFWf22Hw1yeks1n+ufr7WrK
3r1wEquNIBijmPnfCIE3
=dXbZ
-----END PGP SIGNATURE-----