From b661f0e27c595d71057fbcb83b4e11086adf93fc Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi <pi8027@gmail.com>
Date: Thu, 30 Nov 2023 13:56:24 +0100
Subject: [PATCH] Fix the version constraint on dune in the opam file

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

diff --git a/coq-mathcomp-multinomials.opam b/coq-mathcomp-multinomials.opam
index d69cf20..8d1643f 100644
--- a/coq-mathcomp-multinomials.opam
+++ b/coq-mathcomp-multinomials.opam
@@ -10,7 +10,7 @@ build: [
 ]
 depends: [
   "coq"                    {(>= "8.16" & < "8.19~") | = "dev"}
-  "dune"                   {>= "2.8"}
+  "dune"                   {>= "3.8"}
   "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.2~") | = "dev"}
   "coq-mathcomp-algebra"
   "coq-mathcomp-bigenough" {(>= "1.0" & < "1.1~") | = "dev"}