From c42a942d2a2482661c6b79e85f13ab428e292aac Mon Sep 17 00:00:00 2001
From: Michael Soegtrop <7895506+MSoegtropIMC@users.noreply.github.com>
Date: Mon, 9 Dec 2024 10:13:21 +0100
Subject: [PATCH] Add dependency to coq-elpi in coq-corn.dev

---
 extra-dev/packages/coq-corn/coq-corn.dev/opam | 1 +
 1 file changed, 1 insertion(+)

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" ]