[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.26+dfsg-1-7-g4801fde

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit f7cc3e6af4805eca773f0e47b3b041126c9db01a
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Jul 16 13:45:48 2010 +0200

    Bump standards version to 3.9.0, no changes needed.

diff --git a/debian/changelog b/debian/changelog
index 36563f0..a8d14c4 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,8 +6,9 @@ why (2.26+dfsg-2) UNRELEASED; urgency=low
   [ Mehdi Dogguy ]
   * Rebuild with Coq 8.2pl2
   * Convert to 3.0 (quilt) source format.
+  * Bump standards version to 3.9.0, no changes needed.
 
- -- Mehdi Dogguy <mehdi at debian.org>  Fri, 16 Jul 2010 13:41:47 +0200
+ -- Mehdi Dogguy <mehdi at debian.org>  Fri, 16 Jul 2010 13:45:30 +0200
 
 why (2.26+dfsg-1) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index 08ee290..33a3520 100644
--- a/debian/control
+++ b/debian/control
@@ -19,7 +19,7 @@ Build-Depends:
   frama-c-base (>> 20100401+boron),
   libapron-ocaml-dev (>= 0.9.10-4),
   camlidl
-Standards-Version: 3.8.4
+Standards-Version: 3.9.0
 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