Accepted spass 2.0-3 (i386 source)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 2 Sep 2002 12:54:11 +0100
Source: spass
Binary: spass
Architecture: source i386
Version: 2.0-3
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: 159238
Changes:
spass (2.0-3) unstable; urgency=low
.
* debian/rules: actually build the architecture dependent packages in
binary-arch (closes: #159238)
Files:
dc7c4f3de0ba276a3d368711dc7ef885 546 science optional spass_2.0-3.dsc
4947d7e1eb67cd18828dc7948b1468cf 1831 science optional spass_2.0-3.diff.gz
0aaf49ddfe4f9ff5072b11057407f3a0 1043156 science optional spass_2.0-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.7 (GNU/Linux)
iD8DBQE9c1H5Kwsh7RJ8uAgRAlWgAJ0T4eHDEuSH5FW9hrsI20znQGmJPQCgsk/Z
FN92EMz7CwxSqaeerOxOAJc=
=iI4K
-----END PGP SIGNATURE-----
Accepted:
spass_2.0-3.diff.gz
to pool/main/s/spass/spass_2.0-3.diff.gz
spass_2.0-3.dsc
to pool/main/s/spass/spass_2.0-3.dsc
spass_2.0-3_i386.deb
to pool/main/s/spass/spass_2.0-3_i386.deb