[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.29+dfsg-4-5-gd9b48a2
Mehdi Dogguy
mehdi at dogguy.org
Thu Dec 8 16:51:44 UTC 2011
The following commit has been merged in the master branch:
commit d9b48a2cb02ed03954a8c3b32d2812299a02051f
Author: Mehdi Dogguy <mehdi at 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 <mehdi at debian.org> Thu, 08 Dec 2011 16:45:22 +0100
+ -- Mehdi Dogguy <mehdi at 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
More information about the Pkg-ocaml-maint-commits
mailing list