From 2d114afbf431f5cefe4f0350f95e22ef9daddfc9 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 24 Apr 2019 20:58:12 +0200
Subject: [opam] Use version to provide better package bounds.

I copied this from Ralf Jung's submission to the Coq Package index,
let's see if it works.
---
 coq-refman.opam    | 2 +-
 coq.opam           | 2 +-
 coqide-server.opam | 4 ++--
 coqide.opam        | 4 ++--
 4 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/coq-refman.opam b/coq-refman.opam
index b9500243a3..16be422c27 100644
--- a/coq-refman.opam
+++ b/coq-refman.opam
@@ -17,7 +17,7 @@ license: "Open Publication License"
 
 depends: [
   "dune"      { build }
-  "coq"       { build }
+  "coq"       { build & = version }
 ]
 
 build-env: [
diff --git a/coq.opam b/coq.opam
index 02c57b8683..da3f1b518d 100644
--- a/coq.opam
+++ b/coq.opam
@@ -20,7 +20,7 @@ license: "LGPL-2.1"
 
 depends: [
   "ocaml"     {         >= "4.05.0" }
-  "dune"      { build & >= "1.4.0"  }
+  "dune"      { build & >= "1.6.0"  }
   "ocamlfind" { build }
   "num"
 ]
diff --git a/coqide-server.opam b/coqide-server.opam
index ed6f3d98d8..0325d2549c 100644
--- a/coqide-server.opam
+++ b/coqide-server.opam
@@ -19,8 +19,8 @@ dev-repo: "git+https://github.com/coq/coq.git"
 license: "LGPL-2.1"
 
 depends: [
-  "dune"      { build & >= "1.4.0" }
-  "coq"
+  "dune"      { build & >= "1.6.0" }
+  "coq"       {          = version }
 ]
 
 build: [ [ "dune" "build" "-p" name "-j" jobs ] ]
diff --git a/coqide.opam b/coqide.opam
index c82fa72564..2507acbb26 100644
--- a/coqide.opam
+++ b/coqide.opam
@@ -17,8 +17,8 @@ dev-repo: "git+https://github.com/coq/coq.git"
 license: "LGPL-2.1"
 
 depends: [
-  "dune"                 { build & >= "1.4.0" }
-  "coqide-server"
+  "dune"                 { build & >= "1.6.0" }
+  "coqide-server"        {          = version }
   "lablgtk3"             {         >= "3.0.beta5" }
   "lablgtk3-sourceview3" {         >= "3.0.beta5" }
 ]
-- 
cgit v1.2.3