diff --git a/coq-lsp.opam b/coq-lsp.opam index 678c4ba4c..8b08651fc 100644 --- a/coq-lsp.opam +++ b/coq-lsp.opam @@ -20,7 +20,7 @@ depends: [ # Not yet required, install Coq deps instead "coq" { >= "8.16.0" & < "8.17" } - "coq-serapi" { >= "8.16.0" & < "8.17" } + "coq-serapi" { >= "8.16.2" & < "8.17" } "camlp-streams" { >= "5.0" } # lsp dependencies