From 69f9d9eac2e20f551f72d482554adc02796c6a7a Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Fri, 29 Nov 2024 17:31:29 +0100
Subject: [PATCH] fix coq-elpi.dev

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

diff --git a/extra-dev/packages/coq-elpi/coq-elpi.dev/opam b/extra-dev/packages/coq-elpi/coq-elpi.dev/opam
index 6eacfdefd..c47915b3a 100644
--- a/extra-dev/packages/coq-elpi/coq-elpi.dev/opam
+++ b/extra-dev/packages/coq-elpi/coq-elpi.dev/opam
@@ -18,7 +18,7 @@ depends: [
   "dune" {>= "3.13"}
   "ocaml" {>= "4.10.0"}
   "stdlib-shims"
-  "elpi" {>= "1.18.2" & < "1.20.0~"}
+  "elpi" {>= "2.0.3" & < "2.1.0~"}
   "coq" {= "dev"}
   "ppx_optcomp"
   "ocaml-lsp-server" {with-dev-setup}