diff --git a/dune-project b/dune-project
index 2882306b7d98cfa4b7d3adbd7e003ca3ed203a04..6dcfb7a66093e2a97ded1ace3e4e5bd25f4c140b 100644
--- a/dune-project
+++ b/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/opam b/opam
index 0cfa34fd454e3ad3ec085f01f91609aa8f0f5024..f3e6a0dc71edecd6c6ef525a3f0189a9d652b829 100644
--- a/opam
+++ b/opam
@@ -119,7 +119,7 @@ run-test: [
 ]
 
 depends: [
-  "dune" { >= "3.2.0" | (>= "3.5.0" & os="macos") }
+  "dune" { >= "3.3.0" | (>= "3.5.0" & os="macos") }
   "dune-configurator"
   "dune-site"