Accepted spass 3.7-1 (source i386)

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

Format: 1.8
Date: Sun, 27 Jun 2010 18:59:28 +0200
Source: spass
Binary: spass
Architecture: source i386
Version: 3.7-1
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-1) unstable; urgency=low
 .
   * New upstream release
Checksums-Sha1: 
 37cb0fa92bb924a09999eb810a3731d55225947c 935 spass_3.7-1.dsc
 68b1e570381b1bedafb5c682f4dee7ed3a6c6874 1340925 spass_3.7.orig.tar.gz
 265a744b9e260e2bca85c9f90d35d54460d5c55d 21071 spass_3.7-1.debian.tar.gz
 5c66fdb8d085ed9a762645d5586769804a5fa37e 2076028 spass_3.7-1_i386.deb
Checksums-Sha256: 
 5f72655102798c172bc0c15357cc53573eb72ca20145ec03431c3cfce755d980 935 spass_3.7-1.dsc
 13c67e5e09b814ba50f38a391fe653661ba714e7541ffd4951efef91274aaacc 1340925 spass_3.7.orig.tar.gz
 f2e75bf9a2530d78deda1895cc66fef1248cedf038edf56bd7a2c99fb51c9c03 21071 spass_3.7-1.debian.tar.gz
 e3a1a44322d9c1dd8b9a42caa18ceff818190f75b0fc88c66e697b8b384acc4b 2076028 spass_3.7-1_i386.deb
Files: 
 f7fe7d120d4b16ed77a06144ba1b0577 935 science optional spass_3.7-1.dsc
 6505f4f3ad91cc289d9dd73889ebb304 1340925 science optional spass_3.7.orig.tar.gz
 03fc625573a2e8e92f5aa65b0db57cad 21071 science optional spass_3.7-1.debian.tar.gz
 9eb3eea40a0994c0a5d19bf5e6d3cdac 2076028 science optional spass_3.7-1_i386.deb

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

iD8DBQFMJ6JqcaH/YBv43g8RAu9+AJ9hEQFDppkvIXnDdbldbfYUW3l3ygCff2qW
uQRh2pKEq+d6QaPf+8HL6H0=
=93ql
-----END PGP SIGNATURE-----


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