[SCM] grounding tools for (disjunctive) logic programs branch, master, updated. 05e1342f1818b6a36b53452dae30397ab24ac4f7
Thomas Krennwallner
tkren at kr.tuwien.ac.at
Tue Sep 6 16:35:53 UTC 2011
The following commit has been merged in the master branch:
commit 05e1342f1818b6a36b53452dae30397ab24ac4f7
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Tue Sep 6 18:35:27 2011 +0200
Fix changelog typo.
diff --git a/debian/changelog b/debian/changelog
index 15505a4..de57aa2 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,7 +5,7 @@ gringo (3.0.3-6) unstable; urgency=low
Krennwallner.
- Set DM-Upload-Allowed to yes.
- Convert bzr repository to git and use Vcs-Git and Vcs-Browser
- accourdingly.
+ accordingly.
- Build-Depends on debhelper >= 8.0.0.
* rules: Add override_dh_auto_build to get rid off
gringo-makefile.patch.
--
grounding tools for (disjunctive) logic programs
More information about the debian-science-commits
mailing list