Accepted clasp 2.0.0-2 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 21 Apr 2011 20:24:41 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 2.0.0-2
Distribution: unstable
Urgency: low
Maintainer: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description:
clasp - A conflict-driven nogood learning answer set solver
Closes: 623599
Changes:
clasp (2.0.0-2) unstable; urgency=low
.
* Upload to Debian. (Closes: #623599)
Checksums-Sha1:
aacd64eb94929f1ad91e8dae96ef875d99037bf9 1080 clasp_2.0.0-2.dsc
f33ef41c7147f8aa1f39c5055f5075e4b7c62b22 359881 clasp_2.0.0.orig.tar.gz
7d85afa061ea328247f7be80933178dcc802e064 5620 clasp_2.0.0-2.debian.tar.gz
ff487946f2be344b1bc5008af7e210253754adba 388746 clasp_2.0.0-2_amd64.deb
Checksums-Sha256:
30781f14fa43e12e139e05f2d258319469f29a20bd35ee74b5d9d1dfd6c9f952 1080 clasp_2.0.0-2.dsc
c60435464f96952678ecbaf05fb325b3c60b9a076a3f1a14b341e472e0d5c0b0 359881 clasp_2.0.0.orig.tar.gz
9608fcbe850fb11913d21d2ebd827c621e32e577fc7b3d20f17bb811b9aa1021 5620 clasp_2.0.0-2.debian.tar.gz
b85c0ad302d2c9f435490d7823a5633ae6f7afb58b04bff9d25cc27d419295ac 388746 clasp_2.0.0-2_amd64.deb
Files:
cea5d911bf96bbe3d08a7af4a16daa39 1080 interpreters extra clasp_2.0.0-2.dsc
b3f22a71386be4359a0ebeef9bfc0922 359881 interpreters extra clasp_2.0.0.orig.tar.gz
da2046ea92c36b60fc42a8878dc22457 5620 interpreters extra clasp_2.0.0-2.debian.tar.gz
04996ccf52c8e0bae62713c51a78715e 388746 interpreters extra clasp_2.0.0-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk2xxf8ACgkQtzWmSeC6BMFiAgCfewxqdsCpHkbX6e7jDXoIKwFM
zr8AoOGmdM+QYGNHZ1YKcsGpz+xaPiPj
=V0cI
-----END PGP SIGNATURE-----
Accepted:
clasp_2.0.0-2.debian.tar.gz
to main/c/clasp/clasp_2.0.0-2.debian.tar.gz
clasp_2.0.0-2.dsc
to main/c/clasp/clasp_2.0.0-2.dsc
clasp_2.0.0-2_amd64.deb
to main/c/clasp/clasp_2.0.0-2_amd64.deb
clasp_2.0.0.orig.tar.gz
to main/c/clasp/clasp_2.0.0.orig.tar.gz
Reply to: