[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.4dfsg-2-7-g1c212c7

[Stephane Glondu]

The following commit has been merged in the experimental/master branch:
commit e16a62685a044b4754d9075512d2852d0dd7c1d2
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Dec 29 15:55:53 2012 +0100

    Add ocaml-findlib to Build-Depends...
    
    ...so that detection of lablgtk2 works

diff --git a/debian/control b/debian/control
index f2a5e66..d314e2c 100644
--- a/debian/control
+++ b/debian/control
@@ -12,6 +12,7 @@ Build-Depends:
  dh-ocaml (>= 0.9.5~),
  ocaml-nox (>= 3.11.1-3~),
  ocaml-best-compilers,
+ ocaml-findlib,
  camlp5 (>= 5.12-2~),
  liblablgtk2-ocaml-dev (>= 2.14),
  texlive-latex-extra,

-- 
coq packaging