diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index cc1f678a..4b55ec8c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -55,7 +55,7 @@ jobs:
       OPAMYES: "true"
       NJOBS: "2"
       COQ_REPOS: "https://github.com/coq/coq.git"
-      COQ_BRANCH: "master"
+      COQ_BRANCH: "v8.20"
     runs-on: ubuntu-22.04
 
     steps:
diff --git a/coq-serapi.opam b/coq-serapi.opam
index 5cbdb8cf..ebf2e312 100644
--- a/coq-serapi.opam
+++ b/coq-serapi.opam
@@ -23,21 +23,21 @@ authors: [
 ]
 
 depends: [
-  "dune"                {           >= "2.9.1"                     }
-  "ocaml"               {           >= "4.12.0"                    }
-  "coq"                 {           >= "8.20" & < "8.21" | = "dev" }
-  # We vendor this for now
-  # "coq-lsp"             {           >= "0.2.0"                     }
-  "cmdliner"            {           >= "1.1.0"                     }
-  "ocamlfind"           {           >= "1.8.0"                     }
-  "sexplib"             {           >= "v0.13.0"                   }
-  "dune"                {           >= "2.0.1"                     }
-  "cmdliner"            {           >= "1.1.0"               }
-  "ocamlfind"           {           >= "1.8.0"               }
-  "ppx_import"          { build   & >= "1.5-3" & < "2.0"     }
-  "ppx_deriving"        {           >= "4.2.1"               }
-  "sexplib"             {           >= "v0.13.0"             }
-  "ppx_sexp_conv"       {           >= "v0.13.0"             }
+  "dune"                { >= "2.9.1"                     }
+  "ocaml"               { >= "4.12.0"                    }
+  "coq"                 { >= "8.20" & < "8.21" | = "dev" }
+  "cmdliner"            { >= "1.1.0"                     }
+  "ocamlfind"           { >= "1.8.0"                     }
+  "sexplib"             { >= "v0.13.0"                   }
+  "dune"                { >= "2.0.1"                     }
+  "cmdliner"            { >= "1.1.0"               }
+  "ocamlfind"           { >= "1.8.0"               }
+  "ppx_import"          { >= "1.11.0" & < "2.0"    }
+  "ppx_deriving"        { >= "4.2.1"               }
+  "sexplib"             { >= "v0.13.0" & < "v0.18" }
+  "ppx_sexp_conv"       { >= "v0.13.0" & < "v0.18" }
+  "ppx_compare"         { >= "v0.13.0" & < "v0.18" }
+  "ppx_hash"            { >= "v0.13.0" & < "v0.18" }
 ]
 
 conflicts: [