[SCM] conflict-driven nogood learning answer set solver branch, master, updated. 3103cec261ec248d53b221c729fe9b99995eddcc

[Thomas Krennwallner]

The following commit has been merged in the master branch:
commit 3103cec261ec248d53b221c729fe9b99995eddcc
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Mon Oct 17 08:01:29 2011 +0200

    Build-Depends on libtbb-dev >= 3.0+r018-1.

diff --git a/debian/changelog b/debian/changelog
index 9f2692c..5f5af49 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+clasp (2.0.3-4) unstable; urgency=low
+
+  * debian/control: Build-Depends on libtbb-dev >= 3.0+r018-1, version 2.2
+    is not supported.
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Mon, 17 Oct 2011 07:52:01 +0200
+
 clasp (2.0.3-3) unstable; urgency=low
 
   * debian/control: Do not Build-Depends on libtbb-dev with i386, see
diff --git a/debian/control b/debian/control
index 41a2488..6e85130 100644
--- a/debian/control
+++ b/debian/control
@@ -5,7 +5,7 @@ Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.
 Uploaders: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
 DM-Upload-Allowed: yes
 Build-Depends: debhelper (>= 8.0.0),
- libtbb-dev [amd64 ia64 ppc64]
+ libtbb-dev (>= 3.0+r018-1) [amd64 ia64 ppc64]
 Standards-Version: 3.9.2
 Vcs-Git: git://git.debian.org/git/debian-science/packages/clasp.git
 Vcs-Browser: http://git.debian.org/?p=debian-science/packages/clasp.git

-- 
conflict-driven nogood learning answer set solver