Fix the version constraint on dune in the opam file

math-comp · Nov 30, 2023 · b661f0e · b661f0e
1 parent 4777e77
commit b661f0e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"}