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