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

[Thomas Krennwallner]

The following commit has been merged in the master branch:
commit 995a3b960cdf4ce66053a8f5201abd48fdb2177e
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Wed Aug 24 10:16:00 2011 +0200

    New upstream release.

diff --git a/debian/changelog b/debian/changelog
index 2e1b7e4..8405e7c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+clasp (2.0.3-1) unstable; urgency=low
+
+  * New upstream release.
+  * copyright: Fix year.
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Wed, 24 Aug 2011 10:12:53 +0200
+
 clasp (2.0.2-1ubuntu1~oneiric1) oneiric; urgency=low
 
   * Upload to ppa:~tkren/asp.
diff --git a/debian/copyright b/debian/copyright
index d28d1fb..ba4a3ee 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -5,7 +5,7 @@ Source: http://sourceforge.net/projects/potassco/files/clasp/
 
 
 Files: *
-Copyright: 2006-2010, Benjamin Kaufmann
+Copyright: 2006-2011, Benjamin Kaufmann
 License: GPL-2+
 
 

-- 
conflict-driven nogood learning answer set solver