Merge pull request #3503 from FStarLang/gebner_dune_opam

Bump dune version dependency.
FStarLang · Sep 26, 2024 · 9b8214e · 9b8214e
2 parents d848e89 + b1f0362
commit 9b8214e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/fstar.opam b/fstar.opam
@@ -10,7 +10,7 @@ depends: [
   "zarith"
   "stdint"
   "yojson"
-  "dune" {build & >= "3.2.0"}
+  "dune" {build & >= "3.8.0"}
   "memtrace"
   "menhirLib"
   "menhir" {build & >= "2.1"}