-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 17 Feb 2009 02:20:39 +0000
Source: prover9-manual
Binary: prover9-doc
Architecture: source all
Version: 0.0.200811a-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.200811a-1) unstable; urgency=low
.
* New upstream release.
* debian/examples: updated
* debian/control: Vcs-Bzr uses nosmart+http protocol
* debian/control, debian/copyright: changed maintainer email address
(again)
* debian/copyright: changed year to 2009, corrected expression of
copyright, refer to GPL-2 explicitly
* debian/install: eliminated brace expansion
Checksums-Sha1:
b4bcf51a34f103ce11295ef5573448b79ac980d0 1224 prover9-manual_0.0.200811a-1.dsc
133a164f56e729c40fa823e98470745de77ef6a0 879434 prover9-manual_0.0.200811a.orig.tar.gz
490e46ba5de6e8ee4f80c51da4c826317a1da838 4113 prover9-manual_0.0.200811a-1.diff.gz
44952aa2ed609688ea856237fea225ed2c51fa27 818382 prover9-doc_0.0.200811a-1_all.deb
Checksums-Sha256:
4da4769f6ce7e2221bc18ddde76bd9dff39a7465827f9003cad5acbff2502101 1224 prover9-manual_0.0.200811a-1.dsc
2e0e0e0849fa9c620d75428a5bd1ea0c31102b64585dd039a06d75864b2efb03 879434 prover9-manual_0.0.200811a.orig.tar.gz
eeaa03452d9356941df48a057f8678fb1d695a0315e568ee1af6f880ae806059 4113 prover9-manual_0.0.200811a-1.diff.gz
59591fbb84f5b5f1be886610e5671839a43bd218fcd425c3807c702772f32aaa 818382 prover9-doc_0.0.200811a-1_all.deb
Files:
681978c4df18e8637f9a1d2cf359e187 1224 doc optional prover9-manual_0.0.200811a-1.dsc
30a35f7257df78243e80b051a3cc3eb3 879434 doc optional prover9-manual_0.0.200811a.orig.tar.gz
69e8c4c736481338e2ce168b3d7d6425 4113 doc optional prover9-manual_0.0.200811a-1.diff.gz
cc53a1aca030c48c8ea5e1a166c3de76 818382 doc optional prover9-doc_0.0.200811a-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkmaKi4ACgkQXDqn6DSH7HH4qQCeK1saMBP3ySueM2cNa1WZNLJ2
5ZIAnim773EpbwSbp0rHhe/eqDqqhhTG
=TTRd
-----END PGP SIGNATURE-----
Accepted:
prover9-doc_0.0.200811a-1_all.deb
to pool/main/p/prover9-manual/prover9-doc_0.0.200811a-1_all.deb
prover9-manual_0.0.200811a-1.diff.gz
to pool/main/p/prover9-manual/prover9-manual_0.0.200811a-1.diff.gz
prover9-manual_0.0.200811a-1.dsc
to pool/main/p/prover9-manual/prover9-manual_0.0.200811a-1.dsc
prover9-manual_0.0.200811a.orig.tar.gz
to pool/main/p/prover9-manual/prover9-manual_0.0.200811a.orig.tar.gz
