Accepted prover9-manual 0.0.200902a-1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 15 Mar 2009 00:53:52 +0000
Source: prover9-manual
Binary: prover9-doc
Architecture: source all
Version: 0.0.200902a-1
Distribution: unstable
Urgency: low
Maintainer: Peter Collingbourne <peter@pcc.me.uk>
Changed-By: Peter Collingbourne <peter@pcc.me.uk>
Description:
prover9-doc - documentation for Prover9 and associated programs
Changes:
prover9-manual (0.0.200902a-1) unstable; urgency=low
.
* New upstream release.
* debian/examples: updated
* debian/control: new Standards-Version
Checksums-Sha1:
0c8e6f3886238cae7d9559ecb87aee3c886a7234 1227 prover9-manual_0.0.200902a-1.dsc
de9bd94d3f631ad7781640ac17886082eb22af93 1034444 prover9-manual_0.0.200902a.orig.tar.gz
8c7702cf7e1a905a601d6251140eb465fd47e68c 4185 prover9-manual_0.0.200902a-1.diff.gz
daafb900765f0c1f6ed5604403d817d3b7a8a40e 968774 prover9-doc_0.0.200902a-1_all.deb
Checksums-Sha256:
c4412b363581d9511d28036729ee8acde0f2e3fb30d3b834da56fe64788f505c 1227 prover9-manual_0.0.200902a-1.dsc
8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5 1034444 prover9-manual_0.0.200902a.orig.tar.gz
0d14cb86876ecb20bdcbe1fad98f288a9dd7d46629ff24a7340ef4fa2deeefcf 4185 prover9-manual_0.0.200902a-1.diff.gz
381a20ff5de1faa666d2ec3fce403764edb10f530fb48c64d1edddd0002e8cdc 968774 prover9-doc_0.0.200902a-1_all.deb
Files:
f273dd2392eca57ac87b0c4376d98e1b 1227 doc optional prover9-manual_0.0.200902a-1.dsc
00b6779d2d3edbd4434a24eebb79b2a8 1034444 doc optional prover9-manual_0.0.200902a.orig.tar.gz
7427129d02078411724c50738beb2dca 4185 doc optional prover9-manual_0.0.200902a-1.diff.gz
c6f1afd44d2140da5d80526f5e0f692b 968774 doc optional prover9-doc_0.0.200902a-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkm8V5YACgkQXDqn6DSH7HFqYQCgh0tNc4pjKUz9Sp80NaSH3UFx
iOYAoJW6bBmDTf6I5HnBQrLzL7o7cKbU
=zwHg
-----END PGP SIGNATURE-----
Accepted:
prover9-doc_0.0.200902a-1_all.deb
to pool/main/p/prover9-manual/prover9-doc_0.0.200902a-1_all.deb
prover9-manual_0.0.200902a-1.diff.gz
to pool/main/p/prover9-manual/prover9-manual_0.0.200902a-1.diff.gz
prover9-manual_0.0.200902a-1.dsc
to pool/main/p/prover9-manual/prover9-manual_0.0.200902a-1.dsc
prover9-manual_0.0.200902a.orig.tar.gz
to pool/main/p/prover9-manual/prover9-manual_0.0.200902a.orig.tar.gz