[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.26+dfsg-4-8-gf677c3a

Mehdi Dogguy mehdi at debian.org
Sun Apr 24 21:40:25 UTC 2011


The following commit has been merged in the master branch:
commit f677c3aea0c48fce0d264d178863de50daa88a86
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Apr 24 20:14:06 2011 +0200

    Set 20110201+carbon+dfsg-1~ as minimum version number for Frama-C.

diff --git a/debian/changelog b/debian/changelog
index 1950fca..be77ad9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -11,8 +11,9 @@ why (2.29+dfsg-1) unstable; urgency=low
     - add 0002-Mark-alt-ergo-0.93-as-compatible.patch
   * Fix FTBFS due to non-exhaustive pattern matching
     - add 0003-Fix-non-exhaustive-pattern-matching-in-jc_annot_infe.patch
+  * Set 20110201+carbon+dfsg-1~ as minimum version number for Frama-C.
 
- -- Mehdi Dogguy <mehdi at debian.org>  Sat, 23 Apr 2011 20:16:00 +0200
+ -- Mehdi Dogguy <mehdi at debian.org>  Sun, 24 Apr 2011 20:12:57 +0200
 
 why (2.26+dfsg-4) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index 90b9d16..294ddb8 100644
--- a/debian/control
+++ b/debian/control
@@ -15,7 +15,7 @@ Build-Depends:
   liblablgtk2-ocaml-dev (>= 2.12.0-3~),
   coq (>= 8.3~),
   libocamlgraph-ocaml-dev (>= 1.4~),
-  frama-c-base (>= 20100401+boron+dfsg-4~),
+  frama-c-base (>= 20110201+carbon+dfsg-1~),
   libapron-ocaml-dev (>= 0.9.10-4~),
   camlidl
 Standards-Version: 3.9.0

-- 
why packaging



More information about the Pkg-ocaml-maint-commits mailing list