-----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
