[SCM] grounding tools for (disjunctive) logic programs branch, master, updated. c34da9f0e9695e233a28bc2acb78a4b54882d444

Thomas Krennwallner tkren at kr.tuwien.ac.at
Fri Jan 27 07:38:08 UTC 2012


The following commit has been merged in the master branch:
commit c34da9f0e9695e233a28bc2acb78a4b54882d444
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Fri Jan 27 08:36:10 2012 +0100

    Upload to ppa:~tkren/asp.

diff --git a/debian/changelog b/debian/changelog
index 4e2f644..79e0ebc 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+gringo (3.0.4-1ubuntu1~oneiric1) oneiric; urgency=low
+
+  * Upload to ppa:~tkren/asp.
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Fri, 27 Jan 2012 08:08:04 +0100
+
 gringo (3.0.4-1) unstable; urgency=low
 
   * New upstream release.

-- 
grounding tools for (disjunctive) logic programs



More information about the debian-science-commits mailing list