Back to spass PTS page

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