-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sun, 1 Sep 2002 16:51:15 +0100 Source: spass Binary: spass Architecture: source i386 Version: 2.0-2 Distribution: unstable Urgency: low Maintainer: Marco Kuhlmann <mk@debian.org> Changed-By: Marco Kuhlmann <mk@debian.org> Description: spass - An automated theorem prover for first-order logic with equality Changes: spass (2.0-2) unstable; urgency=low . * debian/rules: do not rely on autotools-dev being installed Files: 6cb3596289578582d100dedd93765a5d 546 science optional spass_2.0-2.dsc 74e82802c17e712b601c447376e31e36 1812 science optional spass_2.0-2.diff.gz 4155cdd8fbe3dfb351313839662b789e 1043306 science optional spass_2.0-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (GNU/Linux) iD8DBQE9cjibKwsh7RJ8uAgRAllNAJ4k/57I1AXKolKTo+hrptVFCwhBHACgi1Va QkNsKKdeoktlvwHiKOxBV3s= =jJMn -----END PGP SIGNATURE----- Accepted: spass_2.0-2.diff.gz to pool/main/s/spass/spass_2.0-2.diff.gz spass_2.0-2.dsc to pool/main/s/spass/spass_2.0-2.dsc spass_2.0-2_i386.deb to pool/main/s/spass/spass_2.0-2_i386.deb