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