[gringo] 02/03: debian/control: Build-Depends to cmake >= 3.1.0

[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 c38f1ec054425a782671e3f26b1920bfb05cb7ec
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sat Nov 4 10:12:17 2017 +0000

    debian/control: Build-Depends to cmake >= 3.1.0
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 279d5a0..cb1689a 100644
--- a/debian/control
+++ b/debian/control
@@ -7,7 +7,7 @@ Build-Depends: debhelper (>= 10),
  dpkg-dev (>= 1.16.1~),
  pkg-kde-tools,
  g++-7 (>= 7.2.0),
- cmake (>= 3.9.3),
+ cmake (>= 3.1.0),
  re2c,
  bison,
  liblua5.3-dev,

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