[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20081201.dfsg-2-5-g73b0861

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 73b0861b2706a42f43423489d527a30667b6efbc
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Fri Jul 10 20:34:10 2009 +0200

    Tighten version of why

diff --git a/debian/control b/debian/control
index f7f5658..499d9c1 100644
--- a/debian/control
+++ b/debian/control
@@ -11,7 +11,7 @@ Build-Depends:
  libocamlgraph-ocaml-dev (>= 1.1-1),
  liblablgtk2-gnome-ocaml-dev (>= 2.12.0-3),
  liblablgtksourceview-ocaml-dev (>= 2.12.0-3),
- libjessie-ocaml-dev (>= 2.18.dfsg-4),
+ libjessie-ocaml-dev (>= 2.18.dfsg-5),
  docbook-xsl,
  docbook-xml,
  xsltproc,

-- 
frama-c packaging