[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.29+dfsg-4-6-g903cd49

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 903cd49d81000bbe6cecfb3a51cb3eab45cca487
Author: Mehdi Dogguy <mehdi at dogguy.org>
Date:   Thu Dec 15 18:07:37 2011 +0100

    Bump build requirement for frama-c to 20111001+nitrogen+dfsg-1~.

diff --git a/debian/changelog b/debian/changelog
index c8d302f..7a50c15 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,6 +6,7 @@ why (2.30+dfsg-1) unstable; urgency=low
     - add 0004-Default-to-why2-for-jessie-atp.patch
     - 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~.
 
  -- Mehdi Dogguy <mehdi at debian.org>  Thu, 08 Dec 2011 16:52:00 +0100
 
diff --git a/debian/control b/debian/control
index ca1c641..f7e0aec 100644
--- a/debian/control
+++ b/debian/control
@@ -16,7 +16,7 @@ Build-Depends:
   coq (>= 8.3~),
   libfloat-coq,
   libocamlgraph-ocaml-dev (>= 1.4~),
-  frama-c-base (>= 20110201+carbon+dfsg-2~),
+  frama-c-base (>= 20111001+nitrogen+dfsg-1~),
   libapron-ocaml-dev (>= 0.9.10-4~),
   camlidl
 Standards-Version: 3.9.0

-- 
why packaging