-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 03 May 2009 16:00:55 +0100 Source: p9m4 Binary: prover9-mace4 Architecture: source all Version: 0.5.dfsg-2 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne <peter@pcc.me.uk> Changed-By: Peter Collingbourne <peter@pcc.me.uk> Description: prover9-mace4 - GUI for Prover9 and Mace4 Closes: 526685 Changes: p9m4 (0.5.dfsg-2) unstable; urgency=low . [ Sandro Tosi ] * debian/control - switch Vcs-Browser field to viewsvn . [ Marco Rodrigues ] * debian/control: + Add ${misc:Depends} to Depends to remove lintian warning. . [ Peter Collingbourne ] * debian/install: removed shell brace expansion * debian/prover9-mace4.1, debian/control, debian/copyright: changed maintainer email address * debian/copyright: updated year, use correct declaration of copyright, refer to version of GPL * debian/control: updated Standards-Version * debian/patches/04-64bit.patch: added; Prover9-Mace4 can now start on 64-bit platforms (closes: #526685) * debian/control: added DM-Upload-Allowed: yes Checksums-Sha1: 8fca258921c209d8ec21d6dfb457cb2203e1d011 1326 p9m4_0.5.dfsg-2.dsc cb6674f0cc3524f1c5a84f787f76f889553e4096 8675 p9m4_0.5.dfsg-2.diff.gz 5cf3bbc36d0b7707b303069140e90c70b822df00 67444 prover9-mace4_0.5.dfsg-2_all.deb Checksums-Sha256: 418be0dd7d63995db6f49ecc5e14ffa9001e7ba747d8f4f86d88961a7063c99c 1326 p9m4_0.5.dfsg-2.dsc a0bfa3bb7de3a5e17c34379cd3ba1987b14218eec2fa0fc45c9f4be68b6467e9 8675 p9m4_0.5.dfsg-2.diff.gz 6e928d55e8d3621dc5104a48da64174d16d3d4ed4bf4876bec5c3a2ee49ecdb2 67444 prover9-mace4_0.5.dfsg-2_all.deb Files: ada7aaaf3871ca5572ffe45f19107a4d 1326 math optional p9m4_0.5.dfsg-2.dsc d118d27a7bad4866399cea99e7a4c494 8675 math optional p9m4_0.5.dfsg-2.diff.gz f26a12f1f4266b1a56ab769b4c46778c 67444 math optional prover9-mace4_0.5.dfsg-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkn96h4ACgkQBnqtBMk7/3kLSwCgj8CUT+g9OuMittdkX3UoOkeO 8BMAn2//3AKYIwkFl68vWpKSf060UQJ0 =a5c0 -----END PGP SIGNATURE----- Accepted: p9m4_0.5.dfsg-2.diff.gz to pool/main/p/p9m4/p9m4_0.5.dfsg-2.diff.gz p9m4_0.5.dfsg-2.dsc to pool/main/p/p9m4/p9m4_0.5.dfsg-2.dsc prover9-mace4_0.5.dfsg-2_all.deb to pool/main/p/p9m4/prover9-mace4_0.5.dfsg-2_all.deb
