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

[Thomas Krennwallner]

The following commit has been merged in the master branch:
commit cdb3ccccb9bc223c659863171ffbbab7d07ded15
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Tue May 21 19:05:38 2013 +0200

    Build-Depends on debhelper >= 9.

diff --git a/debian/changelog b/debian/changelog
index d010286..a0b2d00 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,14 +3,16 @@ gringo (3.0.5-1) unstable; urgency=low
   * New upstream release.
   * debian/copyright: Update copyright years.
   * debian/compat: Bump to version 9.
-  * debian/control: Remove DM-Upload-Allowed.
+  * debian/control:
+    - Remove DM-Upload-Allowed.
+    - Build-Depends on debhelper >= 9.
   * debian/watch: Only watch upstream gringo >= 3.
   * debian/patches/gringo-clang-gcc.patch debian/patches/gringo-cond.patch
     debian/patches/gringo-domain-fwd-decl.patch
     debian/patches/gringo-unpool-pred.patch debian/patches/series: Remove
     already applied patches.
 
- -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Tue, 21 May 2013 18:31:03 +0200
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Tue, 21 May 2013 19:04:24 +0200
 
 gringo (3.0.4-4) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index 5a2bcfb..8751914 100644
--- a/debian/control
+++ b/debian/control
@@ -3,7 +3,7 @@ Section: interpreters
 Priority: extra
 Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
 Uploaders: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
-Build-Depends: debhelper (>= 8.0.0),
+Build-Depends: debhelper (>= 9),
  cmake,
  re2c,
  libboost-filesystem-dev,

-- 
grounding tools for (disjunctive) logic programs