The following commit has been merged in the master branch:
commit f677c3aea0c48fce0d264d178863de50daa88a86
Author: Mehdi Dogguy <me...@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 <me...@debian.org> Sat, 23 Apr 2011 20:16:00 +0200
+ -- Mehdi Dogguy <me...@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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
