[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