diff options
| -rw-r--r-- | coq-refman.opam | 2 | ||||
| -rw-r--r-- | coq.opam | 2 | ||||
| -rw-r--r-- | coqide-server.opam | 2 | ||||
| -rw-r--r-- | coqide.opam | 2 |
4 files changed, 8 insertions, 0 deletions
diff --git a/coq-refman.opam b/coq-refman.opam index 16be422c27..937c4b08d3 100644 --- a/coq-refman.opam +++ b/coq-refman.opam @@ -15,6 +15,8 @@ bug-reports: "https://github.com/coq/coq/issues" dev-repo: "https://github.com/coq/coq.git" license: "Open Publication License" +version: "dev" + depends: [ "dune" { build } "coq" { build & = version } @@ -18,6 +18,8 @@ bug-reports: "https://github.com/coq/coq/issues" dev-repo: "git+https://github.com/coq/coq.git" license: "LGPL-2.1" +version: "dev" + depends: [ "ocaml" { >= "4.05.0" } "dune" { build & >= "1.10.0" } diff --git a/coqide-server.opam b/coqide-server.opam index 5712ca08c2..5da533ea6b 100644 --- a/coqide-server.opam +++ b/coqide-server.opam @@ -18,6 +18,8 @@ bug-reports: "https://github.com/coq/coq/issues" dev-repo: "git+https://github.com/coq/coq.git" license: "LGPL-2.1" +version: "dev" + depends: [ "dune" { build & >= "1.10.0" } "coq" { = version } diff --git a/coqide.opam b/coqide.opam index d680ebb5f4..3e588ed0cf 100644 --- a/coqide.opam +++ b/coqide.opam @@ -16,6 +16,8 @@ bug-reports: "https://github.com/coq/coq/issues" dev-repo: "git+https://github.com/coq/coq.git" license: "LGPL-2.1" +version: "dev" + depends: [ "dune" { build & >= "1.10.0" } "coqide-server" { = version } |