-----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 <tk...@kr.tuwien.ac.at> Changed-By: Thomas Krennwallner <tk...@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 -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1qdyxw-0006pg...@franck.debian.org