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

Mehdi Dogguy mehdi at debian.org
Wed Sep 9 21:47:48 UTC 2009


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

    Remove useless runtime dependency

diff --git a/debian/control b/debian/control
index cf25d7d..e90ee70 100644
--- a/debian/control
+++ b/debian/control
@@ -27,7 +27,6 @@ Depends:
  why (>= 2.19+dfsg),
  gcc,
  emacs | emacsen,
- libocamlgraph-ocaml-dev (>= 1.1),
  ${F:FramaCRuntime}
 Description: Framework for source code analysis of software written in C
  Frama-C is a framework dedicated to the analysis of the source code

-- 
frama-c packaging



More information about the Pkg-ocaml-maint-commits mailing list