Accepted spass 3.7-3 (source i386)

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

Format: 1.8
Date: Mon, 15 Aug 2011 22:07:12 +0200
Source: spass
Binary: spass
Architecture: source i386
Version: 3.7-3
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-3) unstable; urgency=low
 .
   * Added debian/watch
Checksums-Sha1: 
 732f4603d21a03db3930e6b649be9d0f8c7fc613 932 spass_3.7-3.dsc
 347ed9b2e80d0f52fc1747f4406fde33ab238902 3469 spass_3.7-3.debian.tar.gz
 020d7a416960cc26db0337e4b5c78deb87ed6009 2135340 spass_3.7-3_i386.deb
Checksums-Sha256: 
 406b4ac5dd9bba99d50295abe627f2694f61cff569114a35d708a012e9a965f6 932 spass_3.7-3.dsc
 7bb0c01fe7efd388acea33f33c142f41a444407fc621cdfed5d7ecdadfe86573 3469 spass_3.7-3.debian.tar.gz
 f9efc8da34f150fcab8689eb1f77260ddd564c3d8913ade38e00265dc3bd26d6 2135340 spass_3.7-3_i386.deb
Files: 
 b0252fcdfa058ce061e063efce1a4280 932 science optional spass_3.7-3.dsc
 8f606e0965763e8e8dc4e83e9d020464 3469 science optional spass_3.7-3.debian.tar.gz
 d524c5fc395b5fa5b93f8231498b8817 2135340 science optional spass_3.7-3_i386.deb

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

iD8DBQFOSX+KcaH/YBv43g8RAsCuAJ9Yc1XGBeBYgNTxKIwvLbN7/hZ0nQCeJs1p
4m0cfsmQuQr5m7V6xi1+fRI=
=lOFs
-----END PGP SIGNATURE-----


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