Accepted p9m4 0.5.dfsg-2.2 (source all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 30 Aug 2014 15:56:58 +0000
Source: p9m4
Binary: prover9-mace4
Architecture: source all
Version: 0.5.dfsg-2.2
Distribution: unstable
Urgency: medium
Maintainer: Peter Collingbourne <peter@pcc.me.uk>
Changed-By: Olly Betts <olly@survex.com>
Description:
prover9-mace4 - GUI for Prover9 and Mace4
Closes: 758507
Changes:
p9m4 (0.5.dfsg-2.2) unstable; urgency=medium
.
* Non-maintainer upload.
* Update to depend on python-wxgtk3.0 rather than python-wxgtk2.8.
(Closes: #758507)
Checksums-Sha1:
d18bb1e3cd0b149ee193448ac2ea2c2b4aec8157 1986 p9m4_0.5.dfsg-2.2.dsc
6466921ff717de7d38a5b73f6df4f07a3011b9a7 9106 p9m4_0.5.dfsg-2.2.diff.gz
73fdb92bf30a1037dfffdda96158665af5cea322 58508 prover9-mace4_0.5.dfsg-2.2_all.deb
Checksums-Sha256:
2c4e8aff44da699b14577a88b721abf69c6421579420b1f3003403334341392c 1986 p9m4_0.5.dfsg-2.2.dsc
932f375596b8f9868bf0db29f6f9bfac7321ec60444a782e1aea7fe0673dbb40 9106 p9m4_0.5.dfsg-2.2.diff.gz
00b15621b6caf965646bdf2d8926c301d47ff65502ae6a02ffddbc41e6ba805d 58508 prover9-mace4_0.5.dfsg-2.2_all.deb
Files:
051c2e518239ca6dea130d5b493fdb38 58508 math optional prover9-mace4_0.5.dfsg-2.2_all.deb
f791ab9af9e384e0aea5252d8672ca08 1986 math optional p9m4_0.5.dfsg-2.2.dsc
7b4c0813a8e99a010cdc7cf36ba839a3 9106 math optional p9m4_0.5.dfsg-2.2.diff.gz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBAgAGBQJUAfTyAAoJEBgUewc7rSsHMecP/AyB/fsj+0SPuJhyJjCx+rIX
G4zqcPl8q56yx2fwIl8HN8/xh5mswcFWozoY/UZJsbhVFJzevlZqPz+MajIUuNDO
c/8vQzQ+msbsvXQhZlm2CznL35TEX/K1DM8HRvxH4VBgI5wkA41KED1gxM5XMw/u
uT+iN4cVunY9cT/f4WAQCaFqetK9HEVCMxGGSghaEW48Yrvqkz+EZ6qEKK9n2S54
IAuD+b29jf3Mbm6l/IGYlhxDI3lvBb8qqXzsAsHqCpKtCXrlQjTtWPzzSpAvS+Ig
uamFbkXNnXFswt1FR55BGVPqhaNiGlWyvSwZWXVwLFuE0bJ4/COZRXqWmMspzWj9
3dY+ztfu9F861dOF/1xyldDd7YsXdQwsLHOR2DiZJTHXEe0estndBJ55ooSNBfbE
mN+ddFoW17c3kIGmVs/RCsJmPU+CHWetPNM/kl9fGI4nEreehgLWPKN1XZjiOmSr
S04oorhEQ+t/fitb/svXPk37lj5JQE8ox1EYDsGC03KcL+15ZvyhfvckUG31H43a
Xlc0SCuw8lsMl9/fcOwg3g8rH61DFwExwZiwo7KJZ+ypujI6Av6j95udbU/jqXJ1
W5btfxSJc4zRM5rudMuUzmUPQypeQwM+ulYKCL/bDee06CZ9AOGHIDV/IsYtoAu1
MwmZAbBQJHsz80AsYjBZ
=nX7y
-----END PGP SIGNATURE-----
Reply to: