[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.23+dfsg-2-7-g1583277
Mehdi Dogguy
mehdi at debian.org
Tue Apr 27 14:41:40 UTC 2010
The following commit has been merged in the master branch:
commit c9996d074e2e1d0576ce6a2673363fcad32a8176
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Tue Apr 27 16:28:49 2010 +0200
Raise minimum versions for ocamlgraph and frama-c
diff --git a/debian/changelog b/debian/changelog
index ffee9d6..315952e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,8 +4,10 @@ why (2.25+dfsg-1) UNRELEASED; urgency=low
- Refresh patches
- Remove 0004-Use-tools-make_float_model.ocamlbest-instead-of-opt-.patch
* Bump Standards Version to 3.8.4, no changes needed.
+ * Raise minimum version for Frama-C to 20100401+boron
+ * Raise minimum version for OcamlGraph to 1.4
- -- Mehdi Dogguy <mehdi at debian.org> Tue, 27 Apr 2010 12:52:10 +0200
+ -- Mehdi Dogguy <mehdi at debian.org> Tue, 27 Apr 2010 16:27:41 +0200
why (2.23+dfsg-2) unstable; urgency=low
diff --git a/debian/control b/debian/control
index e96d0ff..ca442f3 100644
--- a/debian/control
+++ b/debian/control
@@ -15,8 +15,8 @@ Build-Depends:
liblablgtk2-ocaml-dev (>= 2.12.0-3),
coq (>= 8.2.pl1),
libfloat-coq (>= 1:8.2-1.2-3),
- libocamlgraph-ocaml-dev (>= 1.3),
- frama-c-base,
+ libocamlgraph-ocaml-dev (>= 1.4),
+ frama-c-base (>> 20100401+boron),
libapron-ocaml-dev (>= 0.9.10-4),
camlidl,
quilt (>= 0.46-7~)
--
why packaging
More information about the Pkg-ocaml-maint-commits
mailing list