From b1f036224356c9358784d3ff5086118de67dd8f5 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 26 Sep 2024 12:00:41 -0700
Subject: [PATCH] Bump dune version dependency.

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

diff --git a/fstar.opam b/fstar.opam
index 58e72abcc2e..fecdbf99242 100644
--- 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"}