diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4b55ec8c..2d07b6cc 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -103,7 +103,6 @@ jobs:
         run: opam install ${{ matrix.extra-opam }}
       - name: Install SerAPI deps
         run: |
-          opam install --ignore-constraints-on=coq --deps-only vendor/coq-lsp/coq-lsp.opam
           opam install --ignore-constraints-on=coq,coq-lsp --deps-only .
       - name: Build SerAPI
         run: |
diff --git a/coq-serapi.opam b/coq-serapi.opam
index ebf2e312..63c4ef1c 100644
--- a/coq-serapi.opam
+++ b/coq-serapi.opam
@@ -34,6 +34,7 @@ depends: [
   "ocamlfind"           { >= "1.8.0"               }
   "ppx_import"          { >= "1.11.0" & < "2.0"    }
   "ppx_deriving"        { >= "4.2.1"               }
+  "ppx_deriving_yojson" { >= "3.4" }
   "sexplib"             { >= "v0.13.0" & < "v0.18" }
   "ppx_sexp_conv"       { >= "v0.13.0" & < "v0.18" }
   "ppx_compare"         { >= "v0.13.0" & < "v0.18" }