The following commit has been merged in the master branch:
commit 903cd49d81000bbe6cecfb3a51cb3eab45cca487
Author: Mehdi Dogguy <me...@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 <me...@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
_______________________________________________
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
