diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index d971b4f69..0b4607b51 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -32,7 +32,6 @@ jobs:
           startGroup "Install dependencies"
             opam pin add -n -y -k path $PACKAGE $WORKDIR
             opam update -y
-            opam depext -y -u camlp5
             opam install -y -j 2 $PACKAGE --deps-only
           endGroup
       env:
diff --git a/Makefile.coq.local b/Makefile.coq.local
index 0f734eb64..de6e205d3 100644
--- a/Makefile.coq.local
+++ b/Makefile.coq.local
@@ -6,7 +6,6 @@ theories/elpi.vo: $(wildcard elpi/*.elpi)
 
 
 merlin-hook::
-	echo "PKG camlp5" >> .merlin
 	echo "S $(abspath $(ELPIDIR))" >> .merlin
 	echo "B $(abspath $(ELPIDIR))" >> .merlin
 	if [ "$(ELPIDIR)" != "elpi/findlib/elpi" ]; then\