From 280d3a4342d2eb5bf82294f4562be5476bc539ff Mon Sep 17 00:00:00 2001
From: Yishuai Li <liyishuai.lys@alibaba-inc.com>
Date: Tue, 10 Dec 2024 11:46:30 +0800
Subject: [PATCH] QuickChick dev remove Dune upper bound

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

diff --git a/extra-dev/packages/coq-quickchick/coq-quickchick.dev/opam b/extra-dev/packages/coq-quickchick/coq-quickchick.dev/opam
index fb8a4fc5d1..65bf5a7441 100644
--- a/extra-dev/packages/coq-quickchick/coq-quickchick.dev/opam
+++ b/extra-dev/packages/coq-quickchick/coq-quickchick.dev/opam
@@ -13,7 +13,7 @@ build: [
 ]
 
 depends: [
-  "dune" {>= "3.12" & < "3.14"}
+  "dune" {>= "3.12"}
   "ocaml" {>= "4.07"}
   "menhir" {build}
   "cppo" {build & >= "1.6.8"}