Accepted spass 2.1-4 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 17 Aug 2008 18:05:44 +0200
Source: spass
Binary: spass
Architecture: source i386
Version: 2.1-4
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: 495149
Changes:
spass (2.1-4) unstable; urgency=low
.
* debian/rules: Removed DEB_BASE_DIR (Closes: #495149)
* debian/control: Standards-Version: 3.8.0
* debian/compat: 7
Checksums-Sha1:
b28401c5096d93cb6c21edecc16470b15edfd059 909 spass_2.1-4.dsc
2ad2db8b890410180b3c46ea929ea91783c15c17 14188 spass_2.1-4.diff.gz
e2c4c3fe2a2f5bb92118de1db2de5c5c5219f72e 1292244 spass_2.1-4_i386.deb
Checksums-Sha256:
cc8914bc3242d047582cba2dad59aa821fa398b9cc00dc0766062ac25e42bfb7 909 spass_2.1-4.dsc
5d5ff6eee92ebfcf8c2c5d902bdb43ff9e289bed0a2fe6721af40e72972c0fe3 14188 spass_2.1-4.diff.gz
34b0db10d71b10ba068b0ba063a2a6d9918c0d1db6305515e15a07c8a26055e6 1292244 spass_2.1-4_i386.deb
Files:
e37190accc23ab998fc1f0e663eb6c09 909 science optional spass_2.1-4.dsc
2d269ea1020b1fc9fd8b41f26f7fbca2 14188 science optional spass_2.1-4.diff.gz
988b25a81d90f435ce2b94826f038692 1292244 science optional spass_2.1-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iD8DBQFIqFB7caH/YBv43g8RAkX7AJ92z5pSj7V8NorpbzicrMYJiL9MZgCeJlP8
RapWNswvmPMo2G0dSdCAGV4=
=+WC0
-----END PGP SIGNATURE-----
Accepted:
spass_2.1-4.diff.gz
to pool/main/s/spass/spass_2.1-4.diff.gz
spass_2.1-4.dsc
to pool/main/s/spass/spass_2.1-4.dsc
spass_2.1-4_i386.deb
to pool/main/s/spass/spass_2.1-4_i386.deb