Skip to content

Commit c7c08f2

Browse files
committed
[opam] Fix dune lower bound.
8.20 is not in a composed build.
1 parent 8c15704 commit c7c08f2

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

coq-lsp.opam

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -21,8 +21,7 @@ depends: [
2121

2222
("ocaml" {>= "5.0"} | ("ocaml" {<= "5.0"} & "memprof-limits" { >= "0.2.1" } ))
2323

24-
"dune" { >= "3.13.0" } # Version interval [3.8-3.12] was
25-
# broken for composed builds with Coq
24+
"dune" { >= "3.2.0" }
2625

2726
# lsp dependencies
2827
"cmdliner" { >= "1.1.0" }

0 commit comments

Comments
 (0)