-----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
