[SCM] conflict-driven nogood learning answer set solver branch, master, updated. 063ffd632c18313c07be9ae0c2604586f9c46609
Thomas Krennwallner
tkren at kr.tuwien.ac.at
Wed Nov 30 05:45:00 UTC 2011
The following commit has been merged in the master branch:
commit 063ffd632c18313c07be9ae0c2604586f9c46609
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Wed Nov 30 06:44:38 2011 +0100
Upload to ppa:~tkren/asp.
diff --git a/debian/changelog b/debian/changelog
index f285505..91902c8 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+clasp (2.0.4-1ubuntu1~oneiric1) oneiric; urgency=low
+
+ * Upload to ppa:~tkren/asp.
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at> Wed, 30 Nov 2011 06:36:04 +0100
+
clasp (2.0.4-1) unstable; urgency=low
* New upstream release.
--
conflict-driven nogood learning answer set solver
More information about the debian-science-commits
mailing list