[Pkg-ocaml-maint-commits] [frama-c] 04/08: ocaml-findlib is not needed for frama-c-base

[Mehdi Dogguy]

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 <mehdi at 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 <mehdi at 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