[Pkg-ocaml-maint-commits] [why] 02/02: standards-version 4.1.1

[Ralf Treinen]

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

treinen pushed a commit to annotated tag debian/2.39-2
in repository why.

commit 9340f214a8c895a6a584970536153e99a49ede82
Author: Ralf Treinen <treinen at free.fr>
Date:   Thu Oct 12 08:26:22 2017 +0200

    standards-version 4.1.1
---
 debian/changelog | 3 ++-
 debian/control   | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index b7c99cc..6155c91 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,8 +3,9 @@ why (2.39-2) unstable; urgency=medium
   * update Architecture list (closes: #875569)
     - changes due to ocaml 4.05: -armel +ppc64el +s390x
     - drop obsolete lpia
+  * Standards-Version 4.1.1 (no change)
 
- -- Ralf Treinen <treinen at debian.org>  Thu, 12 Oct 2017 08:20:28 +0200
+ -- Ralf Treinen <treinen at debian.org>  Thu, 12 Oct 2017 08:25:52 +0200
 
 why (2.39-1) unstable; urgency=medium
 
diff --git a/debian/control b/debian/control
index 4df50a8..278a1dd 100644
--- a/debian/control
+++ b/debian/control
@@ -16,7 +16,7 @@ Build-Depends:
   frama-c-base (>= 20170501+phosphorus+dfsg),
   camlidl,
   why3, why3-coq
-Standards-Version: 4.0.1
+Standards-Version: 4.1.1
 Homepage: http://krakatoa.lri.fr/
 Vcs-Browser: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/why.git
 Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/why.git

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.git