[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090601.beta1+dfsg-1-3-g8f6cc2a

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 8f6cc2ada62b3e46e030971919cfeb0d09b9b18e
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Sep 1 15:49:33 2009 +0200

    Changelog update

diff --git a/debian/changelog b/debian/changelog
index 4ef29c0..8f23b86 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,14 @@
+frama-c (20090601~beta1+dfsg-2) unstable; urgency=low
+
+  * Add two patches:
+    + Fix weak pattern-matching in dynlink_lower_311_byte.ml, fixes FTBFS
+      on non-native architectures.
+      0003-Fix-weak-pattern-matching-in-dynlink_lower_311_byte..patch
+    + Fix issuess when linking statically Jessie plugin (Closes: #544404)
+      0004-Add-JCCM-O-X-to-BYTE-OPT-_LIBS-when-linking-statical.patch
+
+ -- Mehdi Dogguy <mehdi at debian.org>  Tue, 01 Sep 2009 15:41:15 +0200
+
 frama-c (20090601~beta1+dfsg-1) unstable; urgency=low
 
   * New Upstream Version

-- 
frama-c packaging