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

[Thomas Krennwallner]

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

    Fixing the Build-Depends again.

diff --git a/debian/changelog b/debian/changelog
index 5f5af49..57363f9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,6 @@
 clasp (2.0.3-4) unstable; urgency=low
 
-  * debian/control: Build-Depends on libtbb-dev >= 3.0+r018-1, version 2.2
+  * debian/control: Build-Depends on libtbb-dev >= 3.0+r018, version 2.2
     is not supported.
 
  -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Mon, 17 Oct 2011 07:52:01 +0200
diff --git a/debian/control b/debian/control
index 6e85130..afb32a2 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 (>= 3.0+r018-1) [amd64 ia64 ppc64]
+ libtbb-dev (>= 3.0+r018) [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