The following commit has been merged in the master branch:
commit d9b48a2cb02ed03954a8c3b32d2812299a02051f
Author: Mehdi Dogguy <me...@dogguy.org>
Date:   Thu Dec 8 16:52:35 2011 +0100

    Add (back) Build-Depends on coq-float.

diff --git a/debian/changelog b/debian/changelog
index d8e445e..c8d302f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,8 +5,9 @@ why (2.30+dfsg-1) unstable; urgency=low
     - Rebase and update existing patches
     - 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.
 
- -- Mehdi Dogguy <me...@debian.org>  Thu, 08 Dec 2011 16:45:22 +0100
+ -- Mehdi Dogguy <me...@debian.org>  Thu, 08 Dec 2011 16:52:00 +0100
 
 why (2.29+dfsg-4) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index bf9d45c..ca1c641 100644
--- a/debian/control
+++ b/debian/control
@@ -14,6 +14,7 @@ Build-Depends:
   camlp4,
   liblablgtk2-ocaml-dev (>= 2.12.0-3~),
   coq (>= 8.3~),
+  libfloat-coq,
   libocamlgraph-ocaml-dev (>= 1.4~),
   frama-c-base (>= 20110201+carbon+dfsg-2~),
   libapron-ocaml-dev (>= 0.9.10-4~),

-- 
why packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to