diff --git a/extra-dev/packages/coq-corn/coq-corn.dev/opam b/extra-dev/packages/coq-corn/coq-corn.dev/opam
index 38c5733d8e..02a4065384 100644
--- a/extra-dev/packages/coq-corn/coq-corn.dev/opam
+++ b/extra-dev/packages/coq-corn/coq-corn.dev/opam
@@ -12,6 +12,7 @@ remove: ["rm" "-R" "%{lib}%/coq/user-contrib/CoRN"]
 depends: [
   "ocaml"
   "coq" {= "dev"}
+  "coq-elpi" {= "dev"}
   "coq-math-classes" {= "dev"}
 ]
 tags: [ "keyword:constructive mathematics" "keyword:algebra" "keyword:real calculus" "keyword:real numbers" "keyword:fundamental theorem of algebra" "category:Mathematics/Algebra" "category:Mathematics/Real Calculus and Topology" ]