Merge pull request #3247 from MSoegtropIMC/corn-elpi-dev

Add dependency to coq-elpi in coq-corn.dev
coq · Dec 16, 2024 · 2a2ed16 · 2a2ed16
2 parents 670d774 + 6a1025b
commit 2a2ed16
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" ]