Accepted spass 3.7-2 (source i386)
-----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