Accepted clasp 2.0.1-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 27 Apr 2011 10:50:10 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 2.0.1-1
Distribution: unstable
Urgency: low
Maintainer: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description:
clasp - conflict-driven nogood learning answer set solver
Changes:
clasp (2.0.1-1) unstable; urgency=low
.
* New upstream release.
* control: Bump Standards-Version to 3.9.2.
* patches/clasp-istreameof.patch,patches/clasp-rpath.patch: Remove.
Checksums-Sha1:
52c5650b9520dfdac1f28396cb7947c5fe2a93ec 1104 clasp_2.0.1-1.dsc
3dc0936a6cf6ff4463386adf753c34c335b1d88b 360429 clasp_2.0.1.orig.tar.gz
daa6208f42598bd44f874226ce201dc8475d27f0 5547 clasp_2.0.1-1.debian.tar.gz
257b907ef5376525629f18beaeb18139c2908800 367668 clasp_2.0.1-1_amd64.deb
Checksums-Sha256:
f8892e7ffadcfc85a713bef1216f64107766c367d5e43a0a66fe5585632dc2de 1104 clasp_2.0.1-1.dsc
8f8c9fb1e1b9f49f3c4f5ddd98417d29813dc5779f1cb4246744a152021509b7 360429 clasp_2.0.1.orig.tar.gz
71d45b864009d9f2277fe6b9aaefc972aa2e4585aef64f2ac4d347beeb4babb4 5547 clasp_2.0.1-1.debian.tar.gz
8c3943993aaa3a6e624ae761204d26a8533bed9affc01ef5d08e67b7d30b1bcb 367668 clasp_2.0.1-1_amd64.deb
Files:
3b7f79b7fb6da8f4b6f038792bc58e19 1104 interpreters extra clasp_2.0.1-1.dsc
ab8ffd5a220da0e07ca2e020eafe9450 360429 interpreters extra clasp_2.0.1.orig.tar.gz
02dc986fe11977cc64ff0f4f324e4997 5547 interpreters extra clasp_2.0.1-1.debian.tar.gz
4d8117afb648ad36460479fa0f67e316 367668 interpreters extra clasp_2.0.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk293WIACgkQvx6dH3bVKsSNDwCdFtzhxSjZzovOzIoP/o2WnlVj
UxEAn3K5uhfT96PnHX1Ly8LYfCzV5bMi
=dc/a
-----END PGP SIGNATURE-----
Accepted:
clasp_2.0.1-1.debian.tar.gz
to main/c/clasp/clasp_2.0.1-1.debian.tar.gz
clasp_2.0.1-1.dsc
to main/c/clasp/clasp_2.0.1-1.dsc
clasp_2.0.1-1_amd64.deb
to main/c/clasp/clasp_2.0.1-1_amd64.deb
clasp_2.0.1.orig.tar.gz
to main/c/clasp/clasp_2.0.1.orig.tar.gz
Reply to: