[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.18.dfsg-2-6-g5b24f1b

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 5b24f1bfe97717563f830f2c96111462c8a59c00
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Mon Apr 20 23:35:47 2009 +0200

    Bump standards version to 3.8.1, no changes needed

diff --git a/debian/changelog b/debian/changelog
index c11ce46..6faf06a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,6 +4,7 @@ why (2.18.dfsg-3) UNRELEASED; urgency=low
   * why-examples depends on non-versioned libwhy-coq and why, thanks
     Lintian.
   * Make a long description for libwhy-coq, closes: #524054.
+  * Bump standards version to 3.8.1, no changes needed
 
  -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Thu, 16 Apr 2009 17:23:41 +0200
 
diff --git a/debian/control b/debian/control
index 78bf41e..2fb9aab 100644
--- a/debian/control
+++ b/debian/control
@@ -17,7 +17,7 @@ Build-Depends:
   libfloat-coq (>= 1:8.1-1.0-5),
   libocamlgraph-ocaml-dev,
   dpatch
-Standards-Version: 3.8.0
+Standards-Version: 3.8.1
 DM-Upload-Allowed: yes
 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