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

[Thomas Krennwallner]

The following commit has been merged in the master branch:
commit 8f181a29d5caed00626f022470c4614f922304d2
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Tue Oct 18 13:05:28 2011 +0200

    PPA upload.

diff --git a/debian/changelog b/debian/changelog
index 57363f9..fd5ab87 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+clasp (2.0.3-4ubuntu1~oneiric1) oneiric; urgency=low
+
+  * Upload to ppa:~tkren/asp.
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Tue, 18 Oct 2011 13:04:50 +0200
+
 clasp (2.0.3-4) unstable; urgency=low
 
   * debian/control: Build-Depends on libtbb-dev >= 3.0+r018, version 2.2

-- 
conflict-driven nogood learning answer set solver