-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: prover9-manual
Binary: prover9-doc
Architecture: all
Version: 0.0.200902a-2.1
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 arch=all
Checksums-Sha1:
 de9bd94d3f631ad7781640ac17886082eb22af93 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 220ec83b9ee2b25bd9d3740d5447df804d8207c3 4668 prover9-manual_0.0.200902a-2.1.debian.tar.xz
Checksums-Sha256:
 8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 f691a8754fe1e6262ab8287df0ec404f9da30a6967019720c9a7b04cf883c4b9 4668 prover9-manual_0.0.200902a-2.1.debian.tar.xz
Files:
 00b6779d2d3edbd4434a24eebb79b2a8 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 faa418af02d2b8cb993803c012136e7a 4668 prover9-manual_0.0.200902a-2.1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEuL9UE3sJ01zwJv6dCRq4VgaaqhwFAl/05o8ACgkQCRq4Vgaa
qhzMPg/+KZteHPseQgyZVoRhozp0R1GRwvXRr9crmx6j+F5puDZqZUDSxU7pB2rt
FR0w2nR8Gmr78Q6pTXH8YCtk/b7D729jrhBWEjdcGUfWcA40gtVscKAP4z6VCGcc
Fjjh8RggjvpCpfRd3oes6gACP8i0U9gbKrOQAPwWkz21EHMHgsokTZ3LSffogHRe
vAtBkS2gbC6A5pfPMUXmMcICVTGeHzNoHMKtIb3+Nqdi3MQVcHa5FtVwf/S7hOzK
pZ0aT2IOlYzVhYd5XL+zEOCYfe6lXxT2Q4amPMoqZhtlFRolntyMBxFj2LhGsubX
V2YkxELJd41l46EYfWaN8z/5dI5XE0fubw012/XDa/lGBTKIQB09lA4L0uPRCnR7
ACXC90MLU0Ib9s4HcwLFbYX2vvVQBYWnKE2JEHkb24XdxN5SFMhZ8wHFcibgmkqe
Y9eMRY6hILLAyVUOIvT1kRXhkSkPYucb6xFuhunbjfwIN78nvDS7Wv+zyknAu34f
qPRST/DIpsI7MMpsamWkBM88M8y3oIBIm/XlKVtycsuHf1uoT3Rb2oZ+hIG1Xac+
wp1FIVw5q7MK6pz+wm9O+1zN/B+7emLdyGKZnrYjeEhPV6H8vrBF4j3WhdEnTGrF
VWyHg8Nwsim6OfFgKqqQWn6u/xHvk9lRnfmyT3aXyaPdVICi0dE=
=B7kp
-----END PGP SIGNATURE-----