[gringo] 02/03: debian/control: Build-Depends to cmake >= 3.1.0
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Sat Nov 4 11:28:57 UTC 2017
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
More information about the debian-science-commits
mailing list