diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index ca86732..af2f1b2 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -33,6 +33,7 @@ jobs:
               sudo chown -R coq:coq .
             endGroup
             startGroup "opam pin"
+              opam pin -n -y "https://github.com/MetaCoq/metacoq.git#coq-8.19"
               opam pin -n -y "https://github.com/stedolan/malfunction.git#master"
             endGroup
             startGroup "install dependencies for benchmarks"
diff --git a/coq-verified-extraction.opam b/coq-verified-extraction.opam
index af7191b..83a347d 100644
--- a/coq-verified-extraction.opam
+++ b/coq-verified-extraction.opam
@@ -17,7 +17,7 @@ install: [
 depends: [
   "coq" { >= "8.19" & < "8.20~" }
   "coq-ceres" {= "0.4.1"}
-  "coq-metacoq-erasure-plugin"
+  "coq-metacoq-erasure-plugin" { = "8.19.dev" }
   # "malfunction" {= "0.6" }
 ]