-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 27 Jun 2010 18:59:28 +0200 Source: spass Binary: spass Architecture: source i386 Version: 3.7-1 Distribution: unstable Urgency: low Maintainer: Roland Stigge <sti...@antcom.de> Changed-By: Roland Stigge <sti...@antcom.de> Description: spass - An automated theorem prover for first-order logic with equality Changes: spass (3.7-1) unstable; urgency=low . * New upstream release Checksums-Sha1: 37cb0fa92bb924a09999eb810a3731d55225947c 935 spass_3.7-1.dsc 68b1e570381b1bedafb5c682f4dee7ed3a6c6874 1340925 spass_3.7.orig.tar.gz 265a744b9e260e2bca85c9f90d35d54460d5c55d 21071 spass_3.7-1.debian.tar.gz 5c66fdb8d085ed9a762645d5586769804a5fa37e 2076028 spass_3.7-1_i386.deb Checksums-Sha256: 5f72655102798c172bc0c15357cc53573eb72ca20145ec03431c3cfce755d980 935 spass_3.7-1.dsc 13c67e5e09b814ba50f38a391fe653661ba714e7541ffd4951efef91274aaacc 1340925 spass_3.7.orig.tar.gz f2e75bf9a2530d78deda1895cc66fef1248cedf038edf56bd7a2c99fb51c9c03 21071 spass_3.7-1.debian.tar.gz e3a1a44322d9c1dd8b9a42caa18ceff818190f75b0fc88c66e697b8b384acc4b 2076028 spass_3.7-1_i386.deb Files: f7fe7d120d4b16ed77a06144ba1b0577 935 science optional spass_3.7-1.dsc 6505f4f3ad91cc289d9dd73889ebb304 1340925 science optional spass_3.7.orig.tar.gz 03fc625573a2e8e92f5aa65b0db57cad 21071 science optional spass_3.7-1.debian.tar.gz 9eb3eea40a0994c0a5d19bf5e6d3cdac 2076028 science optional spass_3.7-1_i386.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iD8DBQFMJ6JqcaH/YBv43g8RAu9+AJ9hEQFDppkvIXnDdbldbfYUW3l3ygCff2qW uQRh2pKEq+d6QaPf+8HL6H0= =93ql -----END PGP SIGNATURE----- Accepted: spass_3.7-1.debian.tar.gz to main/s/spass/spass_3.7-1.debian.tar.gz spass_3.7-1.dsc to main/s/spass/spass_3.7-1.dsc spass_3.7-1_i386.deb to main/s/spass/spass_3.7-1_i386.deb spass_3.7.orig.tar.gz to main/s/spass/spass_3.7.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1osxaz-0000ba...@ries.debian.org
