From c551449976b3dc27716e395e5aa86ecbbcbfd37e Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Wed, 11 Jan 2023 23:19:01 +0100
Subject: [PATCH] [opam] We will require 8.16.2 in the next release.

---
 coq-lsp.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq-lsp.opam b/coq-lsp.opam
index 678c4ba4..8b08651f 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