Add dependency to coq-elpi in coq-corn.dev

coq · Dec 9, 2024 · c42a942 · c42a942
1 parent 296f08c
commit c42a942
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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" ]