diff --git a/packages/bitwuzla-cxx/bitwuzla-cxx.0.2.0/opam b/packages/bitwuzla-cxx/bitwuzla-cxx.0.2.0/opam
index 0173a916e305..193a788a8f17 100644
--- a/packages/bitwuzla-cxx/bitwuzla-cxx.0.2.0/opam
+++ b/packages/bitwuzla-cxx/bitwuzla-cxx.0.2.0/opam
@@ -13,7 +13,7 @@ homepage: "https://bitwuzla.github.io"
 doc: "https://bitwuzla.github.io/docs/ocaml/"
 bug-reports: "https://github.com/bitwuzla/ocaml-bitwuzla/issues"
 depends: [
-  "dune" {>= "3.7"}
+  "dune" {>= "3.8"}
   "ocaml" {>= "4.12" & < "5.0~"}
   "conf-git" {build}
   "conf-gcc" {build}
@@ -51,4 +51,4 @@ url {
     "sha512=a700abb74be74b24eefe282207803f3a35c36ddd52d0fe0bfb7225f8149d02afaa063431adba054307a52f451af00f07c5c525ba6b09255aae8f0bbf4da2e5a3"
   ]
 }
-x-commit-hash: "f40b7c00bcc0ee2c9c17a6d6367073d4f3485ea4"
\ No newline at end of file
+x-commit-hash: "f40b7c00bcc0ee2c9c17a6d6367073d4f3485ea4"