[opam] We will require 8.16.2 in the next release.

ejgallego · Jan 11, 2023 · c551449 · c551449
1 parent db7e96d
commit c551449
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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