This is an automated email from the git hooks/post-receive script.

mehdi pushed a commit to branch master
in repository frama-c.

commit 40ce19603e4606bbc848f892426735a1fe32fdf4
Author: Mehdi Dogguy <me...@debian.org>
Date:   Wed Dec 21 13:44:48 2016 +0100

    Add ocaml-findlib as a dependency for frama-c-base
---
 debian/changelog | 1 +
 debian/control   | 1 +
 2 files changed, 2 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 241dbd7..75c7805 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
 frama-c (20161101+silicon+dfsg-2) UNRELEASED; urgency=medium
 
   * Disable apron
+  * Add ocaml-findlib as a dependency for frama-c-base
 
  -- Mehdi Dogguy <me...@debian.org>  Wed, 21 Dec 2016 13:08:38 +0100
 
diff --git a/debian/control b/debian/control
index 8a54b1b..e8fc0da 100644
--- a/debian/control
+++ b/debian/control
@@ -56,6 +56,7 @@ 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

Reply via email to