Accepted spass 2.1-2 (source)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Sat, 11 Oct 2003 13:59:36 +0200
Source: spass
Binary: spass
Architecture: source
Version: 2.1-2
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
Closes: 214950
Changes:
spass (2.1-2) unstable; urgency=low
.
* New maintainer (Closes: #214950)
* Set debhelper version compatibility level to 4
* Adjusted debian/copyright
* Standards-Version: 3.6.1
Files:
2bf6a3186763db0c2c99feb8b4c7ddad 547 science optional spass_2.1-2.dsc
401e88431664bb597e63a5956870f0a1 14171 science optional spass_2.1-2.diff.gz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.3 (GNU/Linux)
iD4DBQE/iB3TcaH/YBv43g8RAs9VAKDnogNJpgT/KubwmtFpNodtB4OepwCWOa3J
Mo+nndr4cn/DWSILs/17OQ==
=wVvL
-----END PGP SIGNATURE-----
Accepted:
spass_2.1-2.diff.gz
to pool/main/s/spass/spass_2.1-2.diff.gz
spass_2.1-2.dsc
to pool/main/s/spass/spass_2.1-2.dsc
--
To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org