Accepted prover9-manual 0.0.200804a-1 (source all)

[Peter Collingbourne <pcc03@doc.ic.ac.uk>]

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

Format: 1.7
Date: Tue,  8 Apr 2008 19:40:46 +0100
Source: prover9-manual
Binary: prover9-doc
Architecture: source all
Version: 0.0.200804a-1
Distribution: unstable
Urgency: low
Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk>
Changed-By: Peter Collingbourne <pcc03@doc.ic.ac.uk>
Description: 
 prover9-doc - documentation for Prover9 and associated programs
Changes: 
 prover9-manual (0.0.200804a-1) unstable; urgency=low
 .
   * New upstream release.
   * debian/watch: added support for new version numbering scheme
Files: 
 e6db3157da26c495657299fb8ce4ad8d 760 doc optional prover9-manual_0.0.200804a-1.dsc
 f17987578aa6eda72a2d80eba2dee406 870773 doc optional prover9-manual_0.0.200804a.orig.tar.gz
 1a067e7ca100adc74b030e0eb79787e9 3821 doc optional prover9-manual_0.0.200804a-1.diff.gz
 9904db7c3c6d3257c69b2466d25daf6d 798264 doc optional prover9-doc_0.0.200804a-1_all.deb

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

iD8DBQFH/SMTBnqtBMk7/3kRAtOkAJ9rmUovyb+m43T8MU5/8tyoY7QGOACfXrS8
f+oROL89ExI1VWrqOwCqvpU=
=DMhs
-----END PGP SIGNATURE-----


Accepted:
prover9-doc_0.0.200804a-1_all.deb
  to pool/main/p/prover9-manual/prover9-doc_0.0.200804a-1_all.deb
prover9-manual_0.0.200804a-1.diff.gz
  to pool/main/p/prover9-manual/prover9-manual_0.0.200804a-1.diff.gz
prover9-manual_0.0.200804a-1.dsc
  to pool/main/p/prover9-manual/prover9-manual_0.0.200804a-1.dsc
prover9-manual_0.0.200804a.orig.tar.gz
  to pool/main/p/prover9-manual/prover9-manual_0.0.200804a.orig.tar.gz