Accepted prover9-manual 0.0.200809a-1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 13 Sep 2008 21:14:40 +0100
Source: prover9-manual
Binary: prover9-doc
Architecture: source all
Version: 0.0.200809a-1
Distribution: unstable
Urgency: low
Maintainer: Peter Collingbourne <peter@peter.uk.to>
Changed-By: Peter Collingbourne <peter@peter.uk.to>
Description:
prover9-doc - documentation for Prover9 and associated programs
Changes:
prover9-manual (0.0.200809a-1) unstable; urgency=low
.
* New upstream release.
* debian/control, debian/copyright: changed maintainer email address
Checksums-Sha1:
b420ccdc58afadec7a5f847a428009cca77c85e9 1210 prover9-manual_0.0.200809a-1.dsc
b1b58675303240d39cfd2fc0064e5e9f9aa27188 874548 prover9-manual_0.0.200809a.orig.tar.gz
b73ce09c969b44431999d84fe837b3e75be1c0fd 3949 prover9-manual_0.0.200809a-1.diff.gz
a361c2d4042fdb6c618c1531cdc83b9694d1e1fc 795702 prover9-doc_0.0.200809a-1_all.deb
Checksums-Sha256:
0e10063b1d01df8012b5217a4cc2876f244b9a75c4e695f5fdaf025539871535 1210 prover9-manual_0.0.200809a-1.dsc
e34dfe98c6625e62b521b08ae247e0649ab5f674954763fcb413f1a0e8353706 874548 prover9-manual_0.0.200809a.orig.tar.gz
a31c2aec895f474bcc404a4c159e99d30a59497dcb8e9c6f642eb26235cb29b4 3949 prover9-manual_0.0.200809a-1.diff.gz
a91cfc0f7f61b228452c750f97ab40531d6141383c26e059e80ab669703fa837 795702 prover9-doc_0.0.200809a-1_all.deb
Files:
cab6e76a90eff6cd4488363e5173349a 1210 doc optional prover9-manual_0.0.200809a-1.dsc
ed0dbb581b614cdfdcbb9a5ff8b5f472 874548 doc optional prover9-manual_0.0.200809a.orig.tar.gz
ec6ae0ad4c30988abf6c276690f34262 3949 doc optional prover9-manual_0.0.200809a-1.diff.gz
f099c1fddcd20b4878bcd3a8b5978fd1 795702 doc optional prover9-doc_0.0.200809a-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFIzIKgXDqn6DSH7HERApSBAKDYTE3lAt4KlEKvfA/qN8aVOsUeDwCggce/
F/X8xq3ZzImwvqxPr5hkPOk=
=fEf2
-----END PGP SIGNATURE-----
Accepted:
prover9-doc_0.0.200809a-1_all.deb
to pool/main/p/prover9-manual/prover9-doc_0.0.200809a-1_all.deb
prover9-manual_0.0.200809a-1.diff.gz
to pool/main/p/prover9-manual/prover9-manual_0.0.200809a-1.diff.gz
prover9-manual_0.0.200809a-1.dsc
to pool/main/p/prover9-manual/prover9-manual_0.0.200809a-1.dsc
prover9-manual_0.0.200809a.orig.tar.gz
to pool/main/p/prover9-manual/prover9-manual_0.0.200809a.orig.tar.gz