-----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
