[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.18.dfsg-3-7-g6b78489

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 6b78489813ea973e5f04583e0d5025d427c963b9
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed May 20 15:48:54 2009 +0200

    Prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index 3c9855a..862373d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,9 +1,11 @@
-why (2.18.dfsg-4) UNRELEASED; urgency=low
+why (2.18.dfsg-4) unstable; urgency=low
 
-  * Do not install jc.cm{x,}a
+  * libjessie-ocaml-dev:
+    - Do not install jc.cm{x,}a
+    - Only jc.{o,cmx,cmo,cmi} are installed.
   * Remove configure.dpatch
 
- -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Fri, 15 May 2009 19:15:08 +0200
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Wed, 20 May 2009 15:38:58 +0200
 
 why (2.18.dfsg-3) unstable; urgency=low
 
diff --git a/debian/libjessie-ocaml-dev.NEWS b/debian/libjessie-ocaml-dev.NEWS
new file mode 100644
index 0000000..6f25ba9
--- /dev/null
+++ b/debian/libjessie-ocaml-dev.NEWS
@@ -0,0 +1,8 @@
+libjessie-ocaml-dev (2.18.dfsg-4) unstable; urgency=low
+
+  This package was created to allow frama-c to link against Why.
+  By default, frama-c use jc.cm{o,x} when linking. Thus, support for
+  jc.cm{x,}a is dropped. These files are replaced by jc.cm{o,x}.
+  META file is updated accordingly.
+
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Wed, 20 May 2009 15:42:47 +0200

-- 
why packaging