[SCM] grounding tools for (disjunctive) logic programs branch, master, updated. 4f811237c40819e8376aae1f1e72c4e5443e1aed
Thomas Krennwallner
tkren at kr.tuwien.ac.at
Tue Apr 10 14:54:20 UTC 2012
The following commit has been merged in the master branch:
commit 4f811237c40819e8376aae1f1e72c4e5443e1aed
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Tue Apr 10 16:49:16 2012 +0200
Bump Standards-Version to 3.9.3.
diff --git a/debian/changelog b/debian/changelog
index 84e1860..6d182d0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,8 +4,9 @@ gringo (3.0.4-2) unstable; urgency=low
https://potassco.svn.sourceforge.net/svnroot/potassco/tags/gringo-3.0.4/patches/patch-clang.diff.
* Bug fix: "ftbfs with GCC-4.7", thanks to Matthias Klose (Closes:
#667193).
+ * debian/control: Bump Standards-Version to 3.9.3.
- -- Thomas Krennwallner <tkren at kr.tuwien.ac.at> Tue, 10 Apr 2012 15:21:16 +0200
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at> Tue, 10 Apr 2012 16:48:52 +0200
gringo (3.0.4-1ubuntu1~oneiric1) oneiric; urgency=low
diff --git a/debian/control b/debian/control
index 02ea5a3..1545a56 100644
--- a/debian/control
+++ b/debian/control
@@ -10,7 +10,7 @@ Build-Depends: debhelper (>= 8.0.0),
libboost-filesystem1.48-dev,
libboost-system1.48-dev,
liblua5.1-dev
-Standards-Version: 3.9.2
+Standards-Version: 3.9.3
Vcs-Git: git://git.debian.org/git/debian-science/packages/gringo.git
Vcs-Browser: http://git.debian.org/?p=debian-science/packages/gringo.git
Homepage: http://potassco.sourceforge.net/
--
grounding tools for (disjunctive) logic programs
More information about the debian-science-commits
mailing list