From 63e4dd3ebfd569e372f86170c255e65b8d1d5341 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Mon, 10 Feb 2025 11:24:55 +0100
Subject: [PATCH] Update coq-elpi.opam

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

diff --git a/coq-elpi.opam b/coq-elpi.opam
index 617985ed0..1fa94daa1 100644
--- a/coq-elpi.opam
+++ b/coq-elpi.opam
@@ -18,7 +18,7 @@ depends: [
   "dune" {>= "3.13"}
   "ocaml" {>= "4.10.0"}
   "elpi" {>= "2.0.7" & < "2.1.0~"}
-  ("coq-core" {>= "8.20+rc1" & < "8.21~" | = "dev" } & "coq-stdlib"
+  ("coq-core" {>= "8.20+rc1" & < "8.21~" } & "coq-stdlib"
   | "rocq-core" {>= "9.0+rc1" & < "9.1~" | = "dev" } & "coq-core")
   "ppx_optcomp"
   "ocaml-lsp-server" {with-dev-setup}