-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sat, 17 May 2003 15:58:20 +0200 Source: spass Binary: spass Architecture: source i386 Version: 2.1-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 Changes: spass (2.1-1) unstable; urgency=low . * new upstream release * use fixed versions of man pages (thanks to Dalibor Topic) * debian/control: upgraded to new version of Debian policy Files: 914228f66cce13f6d70e39f9243c21d5 545 science optional spass_2.1-1.dsc 45db334be79e0bcde04c1fa0cac55b85 893737 science optional spass_2.1.orig.tar.gz f3f30aea79d00ea46d8ad5287051dedf 14034 science optional spass_2.1-1.diff.gz 133415b66d73f590e0364fcf8ff3f0d7 1062306 science optional spass_2.1-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.1 (GNU/Linux) iD8DBQE+xkKJKwsh7RJ8uAgRAnANAJ9dFJyUugTVWlGkvmf08ywldwK/owCgqG6P TwVPdE5n3wYeRoDCXpGvuSc= =0yHh -----END PGP SIGNATURE----- Accepted: spass_2.1-1.diff.gz to pool/main/s/spass/spass_2.1-1.diff.gz spass_2.1-1.dsc to pool/main/s/spass/spass_2.1-1.dsc spass_2.1-1_i386.deb to pool/main/s/spass/spass_2.1-1_i386.deb spass_2.1.orig.tar.gz to pool/main/s/spass/spass_2.1.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
