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

[Thomas Krennwallner]

The following commit has been merged in the master branch:
commit e2ae61383709a8ab946524d05b33ab926b77143c
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Wed Apr 4 06:59:17 2012 +0200

    New upstream release.

diff --git a/debian/changelog b/debian/changelog
index c18eeba..b582954 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+clasp (2.0.6-1) unstable; urgency=low
+
+  * New upstream release.
+  * debian/control: Bump Standards-Version to 3.9.3.
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Wed, 04 Apr 2012 06:35:31 +0200
+
 clasp (2.0.5-1ubuntu1~oneiric2) oneiric; urgency=low
 
   * Upload to ppa:~tkren/asp.
diff --git a/debian/control b/debian/control
index afb32a2..ddf72e2 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Uploaders: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
 DM-Upload-Allowed: yes
 Build-Depends: debhelper (>= 8.0.0),
  libtbb-dev (>= 3.0+r018) [amd64 ia64 ppc64]
-Standards-Version: 3.9.2
+Standards-Version: 3.9.3
 Vcs-Git: git://git.debian.org/git/debian-science/packages/clasp.git
 Vcs-Browser: http://git.debian.org/?p=debian-science/packages/clasp.git
 Homepage: http://www.cs.uni-potsdam.de/clasp/

-- 
conflict-driven nogood learning answer set solver