[gringo] 04/05: debian/control: bump Standards-Version to 4.0.1

[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 0d435061a693a55466c0e704447f82a4046dbe8d
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Thu Aug 17 06:00:07 2017 +0000

    debian/control: bump Standards-Version to 4.0.1
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index dc661c7..5c2978b 100644
--- a/debian/control
+++ b/debian/control
@@ -10,7 +10,7 @@ Build-Depends: debhelper (>= 9),
  bison,
  liblua5.3-dev,
  libpython2.7-dev
-Standards-Version: 3.9.8
+Standards-Version: 4.0.1
 Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/gringo.git
 Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/gringo.git
 Homepage: https://www.potassco.org/clasp/

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