Accepted spass 2.0-1 (i386 source)
-----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