From bf8f9260d59d795b09b2fd1611a4131b8c31127e Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Tue, 5 Feb 2019 12:30:37 -0500
Subject: Remove references to ocaml-best-compilers package

ocaml-best-compilers has been superseded by ocaml-nox. Simply depend on
that instead.
---
 debian/control | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/debian/control b/debian/control
index 766ffdf4..a9020dd6 100644
--- a/debian/control
+++ b/debian/control
@@ -15,7 +15,6 @@ Build-Depends:
  dh-ocaml (>= 0.9.5~),
  dh-python,
  ocaml-nox (>= 4),
- ocaml-best-compilers,
  ocaml-findlib (>= 1.4),
  camlp5 (>= 5.12-2~),
  liblablgtk2-ocaml-dev (>= 2.14),
@@ -37,11 +36,10 @@ Depends:
  ${python3:Depends},
  ${shlibs:Depends},
  ${misc:Depends}, 
- ocaml-best-compilers,
+ ocaml-nox,
  ocaml-findlib
 Provides: coq-${F:CoqABI}
 Suggests:
- ocaml-nox,
  proofgeneral,
  ledit | readline-editor,
  libcoq-ocaml-dev,
-- 
cgit v1.2.3