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