-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Mon, 13 Oct 2003 09:20:04 +0200 Source: spass Binary: spass Architecture: source i386 Version: 2.1-3 Distribution: unstable Urgency: low Maintainer: Roland Stigge <stigge@antcom.de> Changed-By: Roland Stigge <stigge@antcom.de> Description: spass - An automated theorem prover for first-order logic with equality Changes: spass (2.1-3) unstable; urgency=low . * Updated Description Files: 4bbc21f90b08db6db55425c0397975a0 547 science optional spass_2.1-3.dsc 732668b43dbabb472d9be5ca91591745 14156 science optional spass_2.1-3.diff.gz b11cc0659cc6b8c28933001945f27796 1094026 science optional spass_2.1-3_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.3 (GNU/Linux) iD8DBQE/ilMNcaH/YBv43g8RAm1wAJwJtmBKdbehk/RqXwb/0qTvsZnAEgCfcN0v u+/MsDzlQ1xz+POQh+1gPbw= =TD7q -----END PGP SIGNATURE----- Accepted: spass_2.1-3.diff.gz to pool/main/s/spass/spass_2.1-3.diff.gz spass_2.1-3.dsc to pool/main/s/spass/spass_2.1-3.dsc spass_2.1-3_i386.deb to pool/main/s/spass/spass_2.1-3_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
