[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