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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit e354d8994ed6cbd49b81d0c541c98a97ab6202c8
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Wed Sep 9 23:47:11 2009 +0200

    Recommends alt-ergo

diff --git a/debian/control b/debian/control
index e90ee70..9d46087 100644
--- a/debian/control
+++ b/debian/control
@@ -28,6 +28,7 @@ Depends:
  gcc,
  emacs | emacsen,
  ${F:FramaCRuntime}
+Recommends: alt-ergo
 Description: Framework for source code analysis of software written in C
  Frama-C is a framework dedicated to the analysis of the source code
  of software written in C.

-- 
frama-c packaging