diff options
| author | Emilio Jesus Gallego Arias | 2019-11-06 23:29:14 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-11-06 23:29:14 +0100 |
| commit | 6043b49f06a77763e8cdaabc81c1d6e6156cfeaa (patch) | |
| tree | a0a60baa513f84d9fccc5c955feb928189026088 | |
| parent | 4658804c1f5d9c89f23e2c31a44643ed4569f9fe (diff) | |
| parent | 4bc893d9316689e14200ec7f1e57c7bf8a1d64cc (diff) | |
Merge PR #11038: fix(*.opam): Add missing version "dev"
Reviewed-by: Zimmi48
| -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 } |