diff options
Diffstat (limited to 'coqide-server.opam')
| -rw-r--r-- | coqide-server.opam | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/coqide-server.opam b/coqide-server.opam index 101cd4ad78..cbb0db2893 100644 --- a/coqide-server.opam +++ b/coqide-server.opam @@ -23,7 +23,8 @@ depends: [ "coq" {= version} ] build: [ - ["dune" "subst"] {pinned} +# Disabled until Dune 2.8 is available +# ["dune" "subst"] {pinned} [ "dune" "build" |