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
Reply to: