[SCM] conflict-driven nogood learning answer set solver branch, master, updated. f139fe6afe232556944a6f50305242cae97eb04b
Thomas Krennwallner
tkren at kr.tuwien.ac.at
Fri Feb 10 08:28:28 UTC 2012
The following commit has been merged in the master branch:
commit f139fe6afe232556944a6f50305242cae97eb04b
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Fri Feb 10 09:26:55 2012 +0100
Upload to asp-ppa.
diff --git a/debian/changelog b/debian/changelog
index 74f6b96..c18eeba 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+clasp (2.0.5-1ubuntu1~oneiric2) oneiric; urgency=low
+
+ * Upload to ppa:~tkren/asp.
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at> Fri, 10 Feb 2012 09:01:57 +0100
+
clasp (2.0.5-1) unstable; urgency=low
* New upstream release.
--
conflict-driven nogood learning answer set solver
More information about the debian-science-commits
mailing list