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

[Thomas Krennwallner]

The following commit has been merged in the master branch:
commit 6c4e0c482c9a124c17988e832baa14be50dab73b
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun Aug 28 08:10:12 2011 +0200

    Closes #636772.

diff --git a/debian/changelog b/debian/changelog
index 8405e7c..480e093 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+clasp (2.0.3-2) unstable; urgency=low
+
+  * Bug fixed with new upstream release: "Segfaults with --pre argument
+    upon certain input", thanks to Joachim Breitner (Closes: #636772).
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Sun, 28 Aug 2011 08:09:00 +0200
+
 clasp (2.0.3-1) unstable; urgency=low
 
   * New upstream release.

-- 
conflict-driven nogood learning answer set solver