Accepted prover9-manual 0.0.200804a-1 (source all)
-----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