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
