[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.26+dfsg-1-7-g4801fde
Mehdi Dogguy
mehdi at debian.org
Tue Jul 20 17:50:57 UTC 2010
The following commit has been merged in the master branch:
commit a577e8fe9309f9414396d72795919ff8b1a337d1
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Fri Jul 16 13:47:48 2010 +0200
Bump minimum frama-c-base's version to 20100401+boron+dfsg-4
diff --git a/debian/changelog b/debian/changelog
index a8d14c4..52cb363 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,8 +7,9 @@ why (2.26+dfsg-2) UNRELEASED; urgency=low
* Rebuild with Coq 8.2pl2
* Convert to 3.0 (quilt) source format.
* Bump standards version to 3.9.0, no changes needed.
+ * Bump minimum frama-c-base's version to 20100401+boron+dfsg-4~.
- -- Mehdi Dogguy <mehdi at debian.org> Fri, 16 Jul 2010 13:45:30 +0200
+ -- Mehdi Dogguy <mehdi at debian.org> Fri, 16 Jul 2010 13:46:41 +0200
why (2.26+dfsg-1) unstable; urgency=low
diff --git a/debian/control b/debian/control
index 33a3520..927b4c2 100644
--- a/debian/control
+++ b/debian/control
@@ -16,7 +16,7 @@ Build-Depends:
coq (>= 8.2.pl1),
libfloat-coq (>= 1:8.2-1.2-3),
libocamlgraph-ocaml-dev (>= 1.4),
- frama-c-base (>> 20100401+boron),
+ frama-c-base (>= 20100401+boron+dfsg-4~),
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