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

Thomas Krennwallner tkren at kr.tuwien.ac.at
Fri Jul 1 05:39:31 UTC 2011


The following commit has been merged in the master branch:
commit 69dc9df56ff9e9a44c55351d59ba77921915f68b
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Fri Jul 1 07:13:31 2011 +0200

    Upload to ubuntu ppa.

diff --git a/debian/changelog b/debian/changelog
index 64ba176..2e1b7e4 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+clasp (2.0.2-1ubuntu1~oneiric1) oneiric; urgency=low
+
+  * Upload to ppa:~tkren/asp.
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Fri, 01 Jul 2011 06:49:46 +0200
+
 clasp (2.0.2-1) unstable; urgency=low
 
   * New upstream release.

-- 
conflict-driven nogood learning answer set solver



More information about the debian-science-commits mailing list