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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 26304298b2ecaec907dbc59870273d6663e430a9
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Jan 10 23:35:42 2010 +0100

    Fix various lintian warnings

diff --git a/debian/changelog b/debian/changelog
index e5958f5..db0562a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -9,6 +9,8 @@ why (2.23+dfsg-1) unstable; urgency=low
     + Use dh 7 features
     + Build-depend on quilt (goodbye dpatch!)
     + Add 0001-Do-not-run-tests-on-non-existant-files.patch
+  * Fix debhelper-but-no-misc-depends
+  * Fix out-of-date-standards-version
   * Set filter-pristine-tar to True in debian/gbp.conf
   * Remove libjessie-ocaml-dev which is no longer user by Frama-C
   * Update copyright file
diff --git a/debian/control b/debian/control
index 246812b..668add3 100644
--- a/debian/control
+++ b/debian/control
@@ -18,7 +18,7 @@ Build-Depends:
   libocamlgraph-ocaml-dev (>= 1.3),
   frama-c-base,
   quilt (>= 0.46-7~)
-Standards-Version: 3.8.2
+Standards-Version: 3.8.3
 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
@@ -42,6 +42,7 @@ Description: A software verification tool
 Package: why-examples
 Architecture: all
 Depends:
+  ${misc:Depends},
   libwhy-coq,
   why
 Section: doc

-- 
why packaging