This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c.
commit bc67d07c59fd1c32186e41b49780192ca78d3922 Author: Mehdi Dogguy <me...@debian.org> Date: Thu Dec 29 11:37:46 2016 +0100 ocaml-findlib is not needed for frama-c-base --- debian/changelog | 2 ++ debian/control | 1 - 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index b8e82c2..1a15009 100644 --- a/debian/changelog +++ b/debian/changelog @@ -4,6 +4,8 @@ frama-c (20161101+silicon+dfsg-3) UNRELEASED; urgency=medium * Install frama-c-config utility in frama-c-base * Clean up content of filtered files from debian/gbp.conf * Avoid double linking of LoopAnalysis.cmo + * ocaml-findlib is not needed for frama-c-base. It has a runtime dependency + on libfindlib-ocaml which is enough. -- Mehdi Dogguy <me...@debian.org> Thu, 22 Dec 2016 10:06:03 +0100 diff --git a/debian/control b/debian/control index 688df47..721af91 100644 --- a/debian/control +++ b/debian/control @@ -56,7 +56,6 @@ Depends: ${misc:Depends}, ${ocaml:Depends}, libocamlgraph-ocaml-dev, - ocaml-findlib, gcc, Recommends: alt-ergo -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits