diff options
Diffstat (limited to 'coqide-server.opam')
| -rw-r--r-- | coqide-server.opam | 2 |
1 files changed, 2 insertions, 0 deletions
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 } |