Accepted clasp 2.0.0-3 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 23 Apr 2011 12:30:18 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 2.0.0-3
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
Closes: 623850
Changes:
clasp (2.0.0-3) unstable; urgency=low
.
* patches/clasp-istreameof.patch: Fix unsigned conversion bug. (Closes:
#623850)
* control: Conditionally Build-Depends on libtbb-dev, it is only
available on amd64,i386,ia64,ppc64.
* patches/clasp-makefile.patch: Allow for non-multithreading builds and
install clasp.
* rules: Check for linux amd64,i386,ia64,ppc64 and invoke make accourdingly.
* install: Remove as we cannot know where we are going to build upfront.
* watch: Fix lintian debian-watch-contains-dh_make-template.
Checksums-Sha1:
3b58970caf82647afc6f9bc9d4d5aa122591c712 1104 clasp_2.0.0-3.dsc
8265a9bc930380d6c6ab0b162ecf013462b5021e 6821 clasp_2.0.0-3.debian.tar.gz
173fa9107a8e1dcd7e88376589733d6ab17a1c2a 389050 clasp_2.0.0-3_amd64.deb
Checksums-Sha256:
a171e5f3dffa381582393d892163b33eff6bbf9186eb30029f6c1ecfb992fa3a 1104 clasp_2.0.0-3.dsc
c2c3d86409b5e687c1e512601f6dcbac9fb9d51441802ba6a311dd35a3f1c512 6821 clasp_2.0.0-3.debian.tar.gz
1fb37708ea65a9bbcc0a15d147930d32a73fd4cd44ebf5c98ee09e7bbe50e171 389050 clasp_2.0.0-3_amd64.deb
Files:
8d67e02d4d257eaf038c1cfa8373f92a 1104 interpreters extra clasp_2.0.0-3.dsc
334d1f5464a8fe706f22f07268400783 6821 interpreters extra clasp_2.0.0-3.debian.tar.gz
b7ab7de58bdc46f729424c215fd93a5f 389050 interpreters extra clasp_2.0.0-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk20GogACgkQtzWmSeC6BMFomQCdHm5ezn6YsNSc+lqpYcsnZFYH
lSEAoIbnOM82gB1lVppm8Qb8lipK241J
=pm9V
-----END PGP SIGNATURE-----
Accepted:
clasp_2.0.0-3.debian.tar.gz
to main/c/clasp/clasp_2.0.0-3.debian.tar.gz
clasp_2.0.0-3.dsc
to main/c/clasp/clasp_2.0.0-3.dsc
clasp_2.0.0-3_amd64.deb
to main/c/clasp/clasp_2.0.0-3_amd64.deb
Reply to: