-----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
