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