diff --git a/dune-project b/dune-project
index e66afba377d3cf854ddf3422ec67de04759d5d80..77e9037a4f09d2d7cad5d6d17740fea90268e7fa 100644
--- a/dune-project
+++ b/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of the Frama-C's MetACSL plug-in.                   ;;
diff --git a/frama-c-metacsl.opam b/frama-c-metacsl.opam
index 7ee3695deb77aade37a1fbc0e15292c5b7c66131..259f42726246cc6b44d9c9670dfd8e480c3e43da 100644
--- a/frama-c-metacsl.opam
+++ b/frama-c-metacsl.opam
@@ -10,7 +10,7 @@ tags: [
 ]
 depends: [
   "ocaml" {>= "4.13.1"}
-  "dune" {>= "3.7" & != "3.13.0"}
+  "dune" {>= "3.13" & != "3.13.0"}
   "frama-c" {>= "29.0~" & < "30.0~"}
   "odoc" {with-doc}
 ]