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

[Thomas Krennwallner]

The following commit has been merged in the master branch:
commit 68d97c5e70994d5565f68dd1e5ad06dcb6587914
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Fri Jul 1 06:28:18 2011 +0200

    New upstream release.

diff --git a/debian/changelog b/debian/changelog
index 07f9426..64ba176 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+clasp (2.0.2-1) unstable; urgency=low
+
+  * New upstream release.
+  * patches/clasp-ld-as-needed.patch: Remove.
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Fri, 01 Jul 2011 05:25:39 +0200
+
 clasp (2.0.1-2) unstable; urgency=low
 
   * control: Setup as Debian Science project.
diff --git a/debian/patches/series b/debian/patches/series
index ded0253..7b9845c 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,2 @@
 clasp-makefile.patch
 clasp-manpage.patch
-clasp-ld-as-needed.patch

-- 
conflict-driven nogood learning answer set solver