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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 63bab7d385f15934bab5185e8dbc03c0883325fe
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed May 20 16:12:11 2009 +0200

    Add alt-ergo in Depends

diff --git a/debian/control b/debian/control
index e73873a..5e88f42 100644
--- a/debian/control
+++ b/debian/control
@@ -29,6 +29,7 @@ Depends:
  ${misc:Depends},
  graphviz,
  why (>= 2.18.dfsg-3),
+ alt-ergo,
  gcc,
  emacs | emacsen,
  libocamlgraph-ocaml-dev,

-- 
frama-c packaging