Add coq-elpi as dependency to opam file

coq-community · Nov 12, 2024 · 8737114 · 8737114
1 parent efa1f05
commit 8737114
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/coq-corn.opam b/coq-corn.opam
@@ -48,6 +48,7 @@ install: [make "install"]
 depends: [
   "coq" {(>= "8.18" & < "8.20~") | (= "dev")}
   "coq-math-classes" {(>= "8.8.1") | (= "dev")}
+  "coq-elpi" {(>= "1.18.0") | (= "dev")}
   "coq-bignums" 
 ]