The following commit has been merged in the master branch:
commit 99b9567e218f84069ce41f56bef4aa4327bdd68d
Author: Mehdi Dogguy <me...@debian.org>
Date:   Mon Jan 2 15:39:20 2012 +0100

    Bump Standards-Version to 3.9.2, no changes needed.

diff --git a/debian/changelog b/debian/changelog
index 7a50c15..2255c6b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,8 +7,9 @@ why (2.30+dfsg-1) unstable; urgency=low
     - add 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch
   * Add (back) Build-Depends on coq-float.
   * Bump build requirement for frama-c to 20111001+nitrogen+dfsg-1~.
+  * Bump Standards-Version to 3.9.2, no changes needed.
 
- -- Mehdi Dogguy <me...@debian.org>  Thu, 08 Dec 2011 16:52:00 +0100
+ -- Mehdi Dogguy <me...@debian.org>  Mon, 02 Jan 2012 15:38:55 +0100
 
 why (2.29+dfsg-4) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index 8f990a7..6bdc5ed 100644
--- a/debian/control
+++ b/debian/control
@@ -19,7 +19,7 @@ Build-Depends:
   frama-c-base (>= 20111001+nitrogen+dfsg-1~),
   libapron-ocaml-dev (>= 0.9.10-4~),
   camlidl
-Standards-Version: 3.9.0
+Standards-Version: 3.9.2
 Homepage: http://why.lri.fr/
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/why.git
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/why.git

-- 
why packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to