diff options
| author | Emilio Jesus Gallego Arias | 2019-04-24 20:58:12 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-04-26 04:24:59 +0200 |
| commit | 2d114afbf431f5cefe4f0350f95e22ef9daddfc9 (patch) | |
| tree | 43fc9f9a486c44b0c9fc8a185c6d2f4882a0ea38 | |
| parent | 12e5d3cdef8b954fc3a7cdf1dfebc388bd546c3a (diff) | |
[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.
| -rw-r--r-- | coq-refman.opam | 2 | ||||
| -rw-r--r-- | coq.opam | 2 | ||||
| -rw-r--r-- | coqide-server.opam | 4 | ||||
| -rw-r--r-- | 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: [ @@ -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" } ] |