[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201.dfsg-20-g393fc87

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 393fc8716d291101e729567e2f5b3c73deaba9db
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed May 20 18:02:36 2009 +0200

    Oups… the patch is not needed yet.

diff --git a/debian/control b/debian/control
index 5e88f42..e73873a 100644
--- a/debian/control
+++ b/debian/control
@@ -29,7 +29,6 @@ Depends:
  ${misc:Depends},
  graphviz,
  why (>= 2.18.dfsg-3),
- alt-ergo,
  gcc,
  emacs | emacsen,
  libocamlgraph-ocaml-dev,
diff --git a/debian/patches/series b/debian/patches/series
index 0ed39b0..cf75bc6 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -4,4 +4,3 @@
 0004-Using-graph.cm-a-xa-instead-of-graph.cm-o-x.patch
 0005-Full-path-for-ocamlgraph-cmo-otherwise-Makefile-will.patch
 0006-Do-not-install-non-existant-files.patch
-0007-Ergo-is-Alt-ergo.patch

-- 
frama-c packaging