-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Thu, 22 Aug 2002 00:21:12 +0100 Source: spass Binary: spass Architecture: source i386 Version: 2.0-1 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 Closes: 156728 Changes: spass (2.0-1) unstable; urgency=low . * initial release (closes: #156728) Files: 6cb9f888ca4b0cfe2616a004b47e4785 546 science optional spass_2.0-1.dsc 3574b96844a1754b952caea5f4e7a14d 865848 science optional spass_2.0.orig.tar.gz 45872aa599aa7dfaf1b8d893961b91d9 1751 science optional spass_2.0-1.diff.gz 36aadcc3ccc479394160b47c21f92b0b 1043268 science optional spass_2.0-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (GNU/Linux) iD8DBQE9ZCDOKwsh7RJ8uAgRAgaFAKC75ZWFaKNdmg1P4/d6hgdngWPpswCeO8+i 444K7Lkv+Rf8WSo01DvfPOA= =dQyz -----END PGP SIGNATURE----- Accepted: spass_2.0-1.diff.gz to pool/main/s/spass/spass_2.0-1.diff.gz spass_2.0-1.dsc to pool/main/s/spass/spass_2.0-1.dsc spass_2.0-1_i386.deb to pool/main/s/spass/spass_2.0-1_i386.deb spass_2.0.orig.tar.gz to pool/main/s/spass/spass_2.0.orig.tar.gz
