Accepted spass 2.1-3 (i386 source)
-----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