[gringo] 02/04: debian/control: Build-Depends on pkg-kde-tools

[Thomas Krennwallner]

This is an automated email from the git hooks/post-receive script.

tkren-guest pushed a commit to branch devel
in repository gringo.

commit e1f390159aded8faec522de577af187328c7bce5
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Fri Nov 3 05:01:24 2017 +0000

    debian/control: Build-Depends on pkg-kde-tools
---
 debian/control | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/control b/debian/control
index 7e00fce..279d5a0 100644
--- a/debian/control
+++ b/debian/control
@@ -5,6 +5,7 @@ Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.
 Uploaders: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
 Build-Depends: debhelper (>= 10),
  dpkg-dev (>= 1.16.1~),
+ pkg-kde-tools,
  g++-7 (>= 7.2.0),
  cmake (>= 3.9.3),
  re2c,

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git