From c2f1eda504659079238313826fc9c60e981af531 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Fri, 30 Dec 2016 00:36:07 +0100
Subject: fix ocamlfind package name

---
 debian/control | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/debian/control b/debian/control
index f351b5c9..79c85613 100644
--- a/debian/control
+++ b/debian/control
@@ -31,7 +31,8 @@ Depends:
  ${ocaml:Depends},
  ${shlibs:Depends},
  ${misc:Depends}, 
- ocaml-best-compilers
+ ocaml-best-compilers,
+ ocaml-findlib
 Provides: coq-${F:CoqABI}
 Recommends: coqide | proofgeneral
 Suggests:
@@ -40,8 +41,7 @@ Suggests:
  ledit | readline-editor,
  libcoq-ocaml-dev,
  why (>= 2.19),
- coq-doc,
- ocamlfind
+ coq-doc
 Breaks: coq-libs (<< 8.2.pl1)
 Replaces: coq-libs (<< 8.2.pl1)
 Description: proof assistant for higher-order logic (toplevel and compiler)
-- 
cgit v1.2.3