[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20081201.dfsg-3-21-geaf3830

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 25264f4160e14b1df64d58881a2b66c1d12333cd
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Aug 28 09:13:59 2009 +0200

    Changelog update

diff --git a/debian/changelog b/debian/changelog
index 76ea5a0..44d1df1 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,6 +2,29 @@ frama-c (20090601~beta1+dfsg-1) unstable; urgency=low
 
   * New Upstream Version
   * Use Debian mail address, Remove DMUA
+  * Remove patches integrated upstream:
+    + 0001-Gui_includes-variable-should-include-ocamlgraph-too.patch
+    + 0002-Make-the-jessie-plugin-compatible-with-why-2.18.patch
+    + 0003-Correctly-detect-jessie-plugin.patch
+    + 0004-Using-graph.cm-a-xa-instead-of-graph.cm-o-x.patch
+    + 0007-Add-a-variable-for-ENABLE_GUI-in-Makefile.in.patch
+    + 0005-Full-path-for-ocamlgraph-cmo-otherwise-Makefile-will.patch
+  * Refresh patch:
+    + 0006-Do-not-install-non-existant-files.patch
+  * Remove debian/man: Manpage integrated upstream
+  * Build-depend on jessie library 2.19
+  * Remove patch rule which is now implemented by dom-save-patches (now
+    part of the package dh-ocaml).
+  * Do not include uselessly the file /usr/share/quilt/quilt.make in
+    debian/rules
+  * Build-depend on debhelper 7.0.50 since we use overrides
+  * Bump Standards-Version to 3.8.3
+    + Add a README.source
+  * Build-depending on a particular revision of libocamlgraph-ocaml-dev
+    is not needed
+  * Install frama-c, frama-c.byte and frama-c-gui on native-architectures
+    and frama-c and frama-c-gui on non-natives ones.
+  * Update README.Debian
 
  -- Mehdi Dogguy <mehdi at debian.org>  Thu, 27 Aug 2009 22:52:28 +0200
 

-- 
frama-c packaging