Accepted p9m4 0.5.dfsg-2 (source all)

[Peter Collingbourne <peter@pcc.me.uk>]

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