Accepted p9m4 0.5.dfsg-2.1 (source all)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 24 Nov 2011 04:25:46 +0000
Source: p9m4
Binary: prover9-mace4
Architecture: source all
Version: 0.5.dfsg-2.1
Distribution: sid
Urgency: low
Maintainer: Peter Collingbourne <peter@pcc.me.uk>
Changed-By: Olly Betts <olly@survex.com>
Description: 
 prover9-mace4 - GUI for Prover9 and Mace4
Closes: 645569
Changes: 
 p9m4 (0.5.dfsg-2.1) unstable; urgency=low
 .
   * Non-maintainer upload.
   * Update to suggest python-wxgtk2.8 rather than python-wxgtk2.6 - should
     be a low risk change, as with default alternatives 2.8 will already get
     used if installed, and 2.8 has twice as many installs according to popcon.
     (Closes: #645569)
Checksums-Sha1: 
 c7b9fb4af2e71f3f80f26ec02910484f0164f166 2023 p9m4_0.5.dfsg-2.1.dsc
 2f08f5e7c53a19d5f883b95a19b8fe04392c05c4 8870 p9m4_0.5.dfsg-2.1.diff.gz
 41c088724b062c9f85dd34b8799fa76d6c9baff8 69194 prover9-mace4_0.5.dfsg-2.1_all.deb
Checksums-Sha256: 
 fd327cc4fa14409cdabc7b766c1c152c2502313c5ae6ae7f8f85657672609b32 2023 p9m4_0.5.dfsg-2.1.dsc
 74690b008f71c00e0190f3df15bf55281e61e8e798a550551cea81326354a60f 8870 p9m4_0.5.dfsg-2.1.diff.gz
 1b4168a07e20e5dc9418dfa0eca101b64e42fe43918fbea7bd7a66493d398df4 69194 prover9-mace4_0.5.dfsg-2.1_all.deb
Files: 
 b22369689c4f3dd7943ee9c46d367578 2023 math optional p9m4_0.5.dfsg-2.1.dsc
 93f1f44f7657ca515a01d54b9826e6dc 8870 math optional p9m4_0.5.dfsg-2.1.diff.gz
 5b142cececbafc1aea48e860c1ca0ad9 69194 math optional prover9-mace4_0.5.dfsg-2.1_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQIcBAEBCAAGBQJOzcfkAAoJEBgUewc7rSsHRzMQAMdBbRQicxzutEmJwmpyHNdm
J7lkJmao0fP90LWHEa05l311qhdDpL1SbrJINyIg3OxhmCRGoeDwoxisvbyECAs/
1Ki8Grs2VJ1vjoK25fBQ22uC4U811pNFvIpd8kXAYmt1qIBLUU4rJQQZDWdzW8uT
QBbV7aC1cmvASt1jF2H3rntHeanitG+asJ1i3tYtI/6x2XoluNIVPSKUl0Q33tJk
KyQlgcrsTFwznDGVllyiRibAj/e3LT6dYz4FKnKLYkpDuT8PYTZgKpr8M0fVhUSJ
78yJDxzy84pvwjIIqsJXBJenoNWu7c92wjUSYyhXhAABWvESP2KXAO2J5rMJbdE5
Ka3OfWx8iVwNDydsN+lyE9QwgAfelR88lUVUTrpZUwGTYGc3C+jhUiRPPh9HSPzt
TXkwRFF+1EOOTsCvAFr7s9ESJeRxC6QCm9FGqXdbvZrAmp97pkfxZdbu0s8NtYlV
7k57sHdNAXyC3rQ/Lg+uahrfZw/GjRQhD1/GLart/RiTOHPvWQiI46n5M/t9ZHsJ
O1FvJNKFOLG72dix9kQww7qe8nNg2E6fYr2tl4MSZESA8zN8ZD4omklaRImd4M53
7WCh+xNWs7SOJL26i+6dea7cBPxvD6HN6Pri/Y+MD6VWlg/amGy+LB7CzjxHP40y
vzMbgTu9SQZ000EyZFLO
=4q3E
-----END PGP SIGNATURE-----


Accepted:
p9m4_0.5.dfsg-2.1.diff.gz
  to main/p/p9m4/p9m4_0.5.dfsg-2.1.diff.gz
p9m4_0.5.dfsg-2.1.dsc
  to main/p/p9m4/p9m4_0.5.dfsg-2.1.dsc
prover9-mace4_0.5.dfsg-2.1_all.deb
  to main/p/p9m4/prover9-mace4_0.5.dfsg-2.1_all.deb