[cvc4] 06/10: Update Standards-Version to 4.0.0 in debian/control

[Fabian Wolff]

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

fw-guest pushed a commit to branch master
in repository cvc4.

commit 42477d4308260a0342721d9c978f1dc16e89d190
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Tue Jul 11 21:05:42 2017 +0200

    Update Standards-Version to 4.0.0 in debian/control
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 746f6c7..891eda9 100644
--- a/debian/control
+++ b/debian/control
@@ -12,7 +12,7 @@ Build-Depends: debhelper (>= 10),
                pkg-config,
                cxxtest,
                chrpath
-Standards-Version: 3.9.8
+Standards-Version: 4.0.0
 Homepage: http://cvc4.cs.stanford.edu/web/
 Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/cvc4.git
 Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/cvc4.git

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