Accepted spass 3.7-2 (source i386)

[Roland Stigge <stigge@antcom.de>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 29 Jun 2010 22:04:02 +0200
Source: spass
Binary: spass
Architecture: source i386
Version: 3.7-2
Distribution: unstable
Urgency: low
Maintainer: Roland Stigge <stigge@antcom.de>
Changed-By: Roland Stigge <stigge@antcom.de>
Description: 
 spass      - An automated theorem prover for first-order logic with equality
Changes: 
 spass (3.7-2) unstable; urgency=low
 .
   * Remove debian patches to broken texinfo files until fixed upstream
   * debian/control: Standards-Version: 3.9.0
Checksums-Sha1: 
 0c34fc87d054ff0bbb82cccb410649877899505d 932 spass_3.7-2.dsc
 c4a17db0adc80c574d5ca6dd25fc8096b4044542 3337 spass_3.7-2.debian.tar.gz
 27d1e58570865b753b68d356717f5135ae84e8ce 2076024 spass_3.7-2_i386.deb
Checksums-Sha256: 
 d95ca2996407283ed8e8f64f1ea33c3a436ecc0b8ec8a1972f749167c32fb830 932 spass_3.7-2.dsc
 bc6f2c2e8d60cc1d5fad7fc01b829936a4ba3566a924f59f51ea7ccfabacdcd0 3337 spass_3.7-2.debian.tar.gz
 e5db40238504c64dcf8b429d5bc2e6a0452ef96f7d0b6a34e63762d12ec9e0ff 2076024 spass_3.7-2_i386.deb
Files: 
 460ebd8084e8fd6e5852e411eb5797be 932 science optional spass_3.7-2.dsc
 e598e72863f3b6e62f4209c888c6b218 3337 science optional spass_3.7-2.debian.tar.gz
 617884c8071be1ac072c8a143befb6e0 2076024 science optional spass_3.7-2_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iD8DBQFMKlhKcaH/YBv43g8RAgXiAJ9oSEmPaN2DcJa/6NALtIMUcfhIYgCgo6B6
qLTCC453o4qTh7nL4fTKEKU=
=WQ8s
-----END PGP SIGNATURE-----


Accepted:
spass_3.7-2.debian.tar.gz
  to main/s/spass/spass_3.7-2.debian.tar.gz
spass_3.7-2.dsc
  to main/s/spass/spass_3.7-2.dsc
spass_3.7-2_i386.deb
  to main/s/spass/spass_3.7-2_i386.deb