Accepted spass 3.7-3 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 15 Aug 2011 22:07:12 +0200
Source: spass
Binary: spass
Architecture: source i386
Version: 3.7-3
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
Changes:
spass (3.7-3) unstable; urgency=low
.
* Added debian/watch
Checksums-Sha1:
732f4603d21a03db3930e6b649be9d0f8c7fc613 932 spass_3.7-3.dsc
347ed9b2e80d0f52fc1747f4406fde33ab238902 3469 spass_3.7-3.debian.tar.gz
020d7a416960cc26db0337e4b5c78deb87ed6009 2135340 spass_3.7-3_i386.deb
Checksums-Sha256:
406b4ac5dd9bba99d50295abe627f2694f61cff569114a35d708a012e9a965f6 932 spass_3.7-3.dsc
7bb0c01fe7efd388acea33f33c142f41a444407fc621cdfed5d7ecdadfe86573 3469 spass_3.7-3.debian.tar.gz
f9efc8da34f150fcab8689eb1f77260ddd564c3d8913ade38e00265dc3bd26d6 2135340 spass_3.7-3_i386.deb
Files:
b0252fcdfa058ce061e063efce1a4280 932 science optional spass_3.7-3.dsc
8f606e0965763e8e8dc4e83e9d020464 3469 science optional spass_3.7-3.debian.tar.gz
d524c5fc395b5fa5b93f8231498b8817 2135340 science optional spass_3.7-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iD8DBQFOSX+KcaH/YBv43g8RAsCuAJ9Yc1XGBeBYgNTxKIwvLbN7/hZ0nQCeJs1p
4m0cfsmQuQr5m7V6xi1+fRI=
=lOFs
-----END PGP SIGNATURE-----
Accepted:
spass_3.7-3.debian.tar.gz
to main/s/spass/spass_3.7-3.debian.tar.gz
spass_3.7-3.dsc
to main/s/spass/spass_3.7-3.dsc
spass_3.7-3_i386.deb
to main/s/spass/spass_3.7-3_i386.deb