diff --git a/bin/frama-c-build-scripts.sh b/bin/frama-c-build-scripts.sh
index 2637e3e8f97babd1f57144736aa7fb55064b01e1..a73efcce1156e04b6e39a14308b09ca128fa9582 100755
--- a/bin/frama-c-build-scripts.sh
+++ b/bin/frama-c-build-scripts.sh
@@ -85,7 +85,7 @@ SCRIPT_LIBS=""
###############
DuneProject () {
- echo "(lang dune 3.7)"
+ echo "(lang dune 3.13)"
echo "(generate_opam_files true)"
echo "(name ${PACKAGE})"
echo "(maintainers \"anonymous\")"
diff --git a/dev/dune-workspace.bench b/dev/dune-workspace.bench
index 6ced78359163779f425e110f37049339fbcdb7ae..6fb6f50b083f2e8c49b9eba362603d721e033207 100644
--- a/dev/dune-workspace.bench
+++ b/dev/dune-workspace.bench
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/dev/dune-workspace.cover b/dev/dune-workspace.cover
index ceec399cb51e6dd6a7884bce2dc54078c5074275..5f52506c3f2e13b630fa359532d1d3baae2cf271 100644
--- a/dev/dune-workspace.cover
+++ b/dev/dune-workspace.cover
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/doc/developer/dune-workspace.bench b/doc/developer/dune-workspace.bench
index 822aec62ddf55856edf8d3f8047cab05fe26bfd9..59e72982a8784f018a0b1872729ec3a343a9f9ef 100644
--- a/doc/developer/dune-workspace.bench
+++ b/doc/developer/dune-workspace.bench
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(context
(default
(name bench)
diff --git a/doc/developer/examples/acsl_extension_ext_types/dune-project b/doc/developer/examples/acsl_extension_ext_types/dune-project
index 1e32532aeef7d282b3dd50a6a3acffdb693732b2..ceabb523d7af6f1eddc7900f131018b7f1ff18a6 100644
--- a/doc/developer/examples/acsl_extension_ext_types/dune-project
+++ b/doc/developer/examples/acsl_extension_ext_types/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-example)
diff --git a/doc/developer/examples/acsl_extension_foo/dune-project b/doc/developer/examples/acsl_extension_foo/dune-project
index 1e32532aeef7d282b3dd50a6a3acffdb693732b2..ceabb523d7af6f1eddc7900f131018b7f1ff18a6 100644
--- a/doc/developer/examples/acsl_extension_foo/dune-project
+++ b/doc/developer/examples/acsl_extension_foo/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-example)
diff --git a/doc/developer/examples/callstack/dune-project b/doc/developer/examples/callstack/dune-project
index 1e32532aeef7d282b3dd50a6a3acffdb693732b2..ceabb523d7af6f1eddc7900f131018b7f1ff18a6 100644
--- a/doc/developer/examples/callstack/dune-project
+++ b/doc/developer/examples/callstack/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-example)
diff --git a/doc/developer/examples/syntactic_check/dune-project b/doc/developer/examples/syntactic_check/dune-project
index 1e32532aeef7d282b3dd50a6a3acffdb693732b2..ceabb523d7af6f1eddc7900f131018b7f1ff18a6 100644
--- a/doc/developer/examples/syntactic_check/dune-project
+++ b/doc/developer/examples/syntactic_check/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-example)
diff --git a/doc/developer/tutorial/hello/src/dune-project b/doc/developer/tutorial/hello/src/dune-project
index 8b84c975c6cf271b0175e052b9970407f1e6a34d..d63ce619ae46cea293987ff0255b6cd7b0a262d3 100644
--- a/doc/developer/tutorial/hello/src/dune-project
+++ b/doc/developer/tutorial/hello/src/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/doc/developer/tutorial/hello/v1-simple/dune-project b/doc/developer/tutorial/hello/v1-simple/dune-project
index a2b42a18433a12f0afe9798200604c72d5458091..286fc173c9ae1baddb10a39cba103bba59238f04 100644
--- a/doc/developer/tutorial/hello/v1-simple/dune-project
+++ b/doc/developer/tutorial/hello/v1-simple/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-hello)
diff --git a/doc/developer/tutorial/hello/v2-register/dune-project b/doc/developer/tutorial/hello/v2-register/dune-project
index a2b42a18433a12f0afe9798200604c72d5458091..286fc173c9ae1baddb10a39cba103bba59238f04 100644
--- a/doc/developer/tutorial/hello/v2-register/dune-project
+++ b/doc/developer/tutorial/hello/v2-register/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-hello)
diff --git a/doc/developer/tutorial/hello/v3-log/dune-project b/doc/developer/tutorial/hello/v3-log/dune-project
index a2b42a18433a12f0afe9798200604c72d5458091..286fc173c9ae1baddb10a39cba103bba59238f04 100644
--- a/doc/developer/tutorial/hello/v3-log/dune-project
+++ b/doc/developer/tutorial/hello/v3-log/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-hello)
diff --git a/doc/developer/tutorial/hello/v4-options/dune-project b/doc/developer/tutorial/hello/v4-options/dune-project
index a2b42a18433a12f0afe9798200604c72d5458091..286fc173c9ae1baddb10a39cba103bba59238f04 100644
--- a/doc/developer/tutorial/hello/v4-options/dune-project
+++ b/doc/developer/tutorial/hello/v4-options/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-hello)
diff --git a/doc/developer/tutorial/hello/v5-multiple/dune-project b/doc/developer/tutorial/hello/v5-multiple/dune-project
index a2b42a18433a12f0afe9798200604c72d5458091..286fc173c9ae1baddb10a39cba103bba59238f04 100644
--- a/doc/developer/tutorial/hello/v5-multiple/dune-project
+++ b/doc/developer/tutorial/hello/v5-multiple/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-hello)
diff --git a/doc/developer/tutorial/hello/v6-test-with-bug/dune-project b/doc/developer/tutorial/hello/v6-test-with-bug/dune-project
index a2b42a18433a12f0afe9798200604c72d5458091..286fc173c9ae1baddb10a39cba103bba59238f04 100644
--- a/doc/developer/tutorial/hello/v6-test-with-bug/dune-project
+++ b/doc/developer/tutorial/hello/v6-test-with-bug/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-hello)
diff --git a/doc/developer/tutorial/hello/v7-doc/dune-project b/doc/developer/tutorial/hello/v7-doc/dune-project
index a2b42a18433a12f0afe9798200604c72d5458091..286fc173c9ae1baddb10a39cba103bba59238f04 100644
--- a/doc/developer/tutorial/hello/v7-doc/dune-project
+++ b/doc/developer/tutorial/hello/v7-doc/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-hello)
diff --git a/doc/developer/tutorial/viewcfg/v1-simple/dune-project b/doc/developer/tutorial/viewcfg/v1-simple/dune-project
index 3192f9fa2e13c717cb8bb0f84c0203ba441c95e4..a7e1c5ffb50cbd95c10c40139e5bf0892b9c35d1 100644
--- a/doc/developer/tutorial/viewcfg/v1-simple/dune-project
+++ b/doc/developer/tutorial/viewcfg/v1-simple/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-view-cfg)
diff --git a/doc/developer/tutorial/viewcfg/v2-options/dune-project b/doc/developer/tutorial/viewcfg/v2-options/dune-project
index 3192f9fa2e13c717cb8bb0f84c0203ba441c95e4..a7e1c5ffb50cbd95c10c40139e5bf0892b9c35d1 100644
--- a/doc/developer/tutorial/viewcfg/v2-options/dune-project
+++ b/doc/developer/tutorial/viewcfg/v2-options/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-view-cfg)
diff --git a/doc/developer/tutorial/viewcfg/v3-eva/dune-project b/doc/developer/tutorial/viewcfg/v3-eva/dune-project
index 3192f9fa2e13c717cb8bb0f84c0203ba441c95e4..a7e1c5ffb50cbd95c10c40139e5bf0892b9c35d1 100644
--- a/doc/developer/tutorial/viewcfg/v3-eva/dune-project
+++ b/doc/developer/tutorial/viewcfg/v3-eva/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-view-cfg)
diff --git a/doc/developer/tutorial/viewcfg/v4-bogue/dune-project b/doc/developer/tutorial/viewcfg/v4-bogue/dune-project
index 3192f9fa2e13c717cb8bb0f84c0203ba441c95e4..a7e1c5ffb50cbd95c10c40139e5bf0892b9c35d1 100644
--- a/doc/developer/tutorial/viewcfg/v4-bogue/dune-project
+++ b/doc/developer/tutorial/viewcfg/v4-bogue/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-view-cfg)
diff --git a/doc/developer/tutorial/viewcfg/v5-state/dune-project b/doc/developer/tutorial/viewcfg/v5-state/dune-project
index 3192f9fa2e13c717cb8bb0f84c0203ba441c95e4..a7e1c5ffb50cbd95c10c40139e5bf0892b9c35d1 100644
--- a/doc/developer/tutorial/viewcfg/v5-state/dune-project
+++ b/doc/developer/tutorial/viewcfg/v5-state/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-view-cfg)
diff --git a/doc/developer/tutorial/viewcfg/v6-state-clear/dune-project b/doc/developer/tutorial/viewcfg/v6-state-clear/dune-project
index 3192f9fa2e13c717cb8bb0f84c0203ba441c95e4..a7e1c5ffb50cbd95c10c40139e5bf0892b9c35d1 100644
--- a/doc/developer/tutorial/viewcfg/v6-state-clear/dune-project
+++ b/doc/developer/tutorial/viewcfg/v6-state-clear/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-view-cfg)
diff --git a/doc/userman/user-plugins.tex b/doc/userman/user-plugins.tex
index c22104e8bb3e63318a717c3a8e6c0e74dba9d8ec..132ba4977ae46f7fa8fec4fad3ac7427f0aa8196 100644
--- a/doc/userman/user-plugins.tex
+++ b/doc/userman/user-plugins.tex
@@ -74,7 +74,7 @@ script, and then \texttt{frama-c -load-module script.cmxs} to load it.
Here is an example \texttt{dune-project} file:
\begin{dunecode}
-(lang dune 3.7)
+(lang dune 3.13)
\end{dunecode}
Note: you can match the language version (here, 3.7) to the one of your
diff --git a/src/libraries/qed/dune-project b/src/libraries/qed/dune-project
index 99f008db00923fff53e6c87b87cff9a93e69eec2..5ac8685f10cee32ba018a1c292dfc06c1a8ee7cb 100644
--- a/src/libraries/qed/dune-project
+++ b/src/libraries/qed/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/alias/dune-project b/src/plugins/alias/dune-project
index 4b61474b614f1b8711cf2001198b56ffa7feede5..be49514e17dd8a9b5ef86925406c25ac8a65eaa4 100644
--- a/src/plugins/alias/dune-project
+++ b/src/plugins/alias/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/aorai/dune-project b/src/plugins/aorai/dune-project
index 093977902f1fa7d19c1e93100d4e913f6758f459..6f708943a860f288131cd93bc8f3a260b99cc54f 100644
--- a/src/plugins/aorai/dune-project
+++ b/src/plugins/aorai/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Aorai plug-in of Frama-C. ;;
diff --git a/src/plugins/api-generator/dune-project b/src/plugins/api-generator/dune-project
index a5fd3ef052ee9abb61b91daa1412553dafb64764..646c291769090aaf627ff6e21ae89f164e254112 100644
--- a/src/plugins/api-generator/dune-project
+++ b/src/plugins/api-generator/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/callgraph/dune-project b/src/plugins/callgraph/dune-project
index e05d54737e07170850ecffbf4c7e330aaed01b6e..03cefe38740d93d97218b9088024bb63da71b855 100644
--- a/src/plugins/callgraph/dune-project
+++ b/src/plugins/callgraph/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/constant_propagation/dune-project b/src/plugins/constant_propagation/dune-project
index a03769674a872968e1bf1e13afd184922c574c40..6e787aafc28d22ce2c13971948c4663be546eebf 100644
--- a/src/plugins/constant_propagation/dune-project
+++ b/src/plugins/constant_propagation/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/dive/dune-project b/src/plugins/dive/dune-project
index 4d3ac9f0f361a2529f1fbf15994dce387c6e5384..a4d777ae0b17dff7fb97001a0c5d0c71c150d23e 100644
--- a/src/plugins/dive/dune-project
+++ b/src/plugins/dive/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/e-acsl/dune-project b/src/plugins/e-acsl/dune-project
index 94c9af22061dc704633d646da460c81972c89de0..054ee0869110750e585f8a590431ec0d113d5356 100644
--- a/src/plugins/e-acsl/dune-project
+++ b/src/plugins/e-acsl/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of the Frama-C's E-ACSL plug-in. ;;
diff --git a/src/plugins/eva/dune-project b/src/plugins/eva/dune-project
index fa488965941b3dde9960322f3b925fe98202ef76..1fe0e524cde7e8bd82331a9b7c6a20e196649544 100644
--- a/src/plugins/eva/dune-project
+++ b/src/plugins/eva/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/from/dune-project b/src/plugins/from/dune-project
index 9611da31e77cc2b9aeab0be03cc0bd689ee2a74e..11ed746475a9af7f3575e6e35f6f4ed93369ec1c 100644
--- a/src/plugins/from/dune-project
+++ b/src/plugins/from/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/impact/dune-project b/src/plugins/impact/dune-project
index 1dc154b6a28651879a9b4c0e7ff304c184398321..2ee8ee70bd0ae14a0db0cad49b29015b91bb014e 100644
--- a/src/plugins/impact/dune-project
+++ b/src/plugins/impact/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/inout/dune-project b/src/plugins/inout/dune-project
index b2a65fb1d046d01019fbea61a26de30c64a05451..ab3a3d6b296f88dd50800b05b4dd9564354b19a8 100644
--- a/src/plugins/inout/dune-project
+++ b/src/plugins/inout/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/instantiate/dune-project b/src/plugins/instantiate/dune-project
index 1090af6cdb29545a6d4f0fd3156c689848391d54..fddd98aadb586a1fb7ad51ce095094fb8e60eafd 100644
--- a/src/plugins/instantiate/dune-project
+++ b/src/plugins/instantiate/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/loop_analysis/dune-project b/src/plugins/loop_analysis/dune-project
index f9f3ca449042090b12e17b9a383411210bbe8db4..80a4d72234c79438b6c2825c56f465948e49e523 100644
--- a/src/plugins/loop_analysis/dune-project
+++ b/src/plugins/loop_analysis/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/markdown-report/dune-project b/src/plugins/markdown-report/dune-project
index 425dae6ed82d455513f5ea602331a1e36d95ff90..583b9f9795695b6c5020453828c7cfbdb15f4d72 100644
--- a/src/plugins/markdown-report/dune-project
+++ b/src/plugins/markdown-report/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/metrics/dune-project b/src/plugins/metrics/dune-project
index 20a7ca65aae8af9c21f051761a0d6979cde76bfd..631dcc3e8388314216302a3b0ff52cef6ea60692 100644
--- a/src/plugins/metrics/dune-project
+++ b/src/plugins/metrics/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/nonterm/dune-project b/src/plugins/nonterm/dune-project
index 7d1cb7fef846c2e6f0279879a962db3a7861b1b9..ad330d5d5b05a0ea7f81879206d4adbf702bb51d 100644
--- a/src/plugins/nonterm/dune-project
+++ b/src/plugins/nonterm/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/obfuscator/dune-project b/src/plugins/obfuscator/dune-project
index 7e12f3ca6b45b301b24bfe241feefbe536ed3345..62a3fe718d99305fa5e116c88afa5ede604665ee 100644
--- a/src/plugins/obfuscator/dune-project
+++ b/src/plugins/obfuscator/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/occurrence/dune-project b/src/plugins/occurrence/dune-project
index abad7d868135d5851385bcd30dc5a5a254191eb8..54695d6cc3f042271813fd7604479a00ee0ab5a1 100644
--- a/src/plugins/occurrence/dune-project
+++ b/src/plugins/occurrence/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/pdg/dune-project b/src/plugins/pdg/dune-project
index 0744d8178c448c27d94fdb22355e5b09b841ae0f..d68de6d081d37a644e62d3e9cc2760633a177632 100644
--- a/src/plugins/pdg/dune-project
+++ b/src/plugins/pdg/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/reduc/dune-project b/src/plugins/reduc/dune-project
index 08fc91aff446161630c9ef2b51fd4fea07777f89..3a72d93a220a4ad7691dcb30b59bd5b1cfba6d0d 100644
--- a/src/plugins/reduc/dune-project
+++ b/src/plugins/reduc/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/region/dune-project b/src/plugins/region/dune-project
index cbfcc90d4ec4c33141700984567ea75170a167cb..0fbfe54998ea13869ae0291377840d9d6563c98f 100644
--- a/src/plugins/region/dune-project
+++ b/src/plugins/region/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/report/dune-project b/src/plugins/report/dune-project
index 861cc440be0aacc75045f790f15dae20781f62ee..3833d9c66c0bea9871c66b729bc10650b7f80126 100644
--- a/src/plugins/report/dune-project
+++ b/src/plugins/report/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/rte/dune-project b/src/plugins/rte/dune-project
index 27e831793dd287b0c68ab4215c9d7ec7a19abde5..d5d4ac7aab7dff64f48099af32a4caa5c9cbea94 100644
--- a/src/plugins/rte/dune-project
+++ b/src/plugins/rte/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/scope/dune-project b/src/plugins/scope/dune-project
index 70be0680fd7f4a86667591ffe3bfa1c843312de5..b9f5e00f5c1177d422ca9e1357d5085e6f0cb110 100644
--- a/src/plugins/scope/dune-project
+++ b/src/plugins/scope/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/security_slicing/dune-project b/src/plugins/security_slicing/dune-project
index fd98d9be06de757ffb633fe9c471591c0e4600c9..836e9157876aac5cb2b56bad930c067411937322 100644
--- a/src/plugins/security_slicing/dune-project
+++ b/src/plugins/security_slicing/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/server/dune-project b/src/plugins/server/dune-project
index 51d9316c42d0bf7c7da45fae9ba446d52daf29fa..b62bafc1d9af1bedc10246d0bf073b8fd7f8dbda 100644
--- a/src/plugins/server/dune-project
+++ b/src/plugins/server/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/slicing/dune-project b/src/plugins/slicing/dune-project
index d2e273767bd1409201c4931c04c3e52877a82844..80020df4ade4f2d89e0aa54d02f1c4a3b257c91a 100644
--- a/src/plugins/slicing/dune-project
+++ b/src/plugins/slicing/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/sparecode/dune-project b/src/plugins/sparecode/dune-project
index 4520a1a9f2760cf6e6388acdf1d49f81fed2eec3..a6accb4e99ec29af9a967ffbbf4255ab93a123c6 100644
--- a/src/plugins/sparecode/dune-project
+++ b/src/plugins/sparecode/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/studia/dune-project b/src/plugins/studia/dune-project
index ee09597caa5fd7c717638113a249d70a529ad8b8..bfcac1cd10a73ae731625cf2759abfeac464e087 100644
--- a/src/plugins/studia/dune-project
+++ b/src/plugins/studia/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/users/dune-project b/src/plugins/users/dune-project
index 3fac43ea59c17a81d8cef3eb5a892d10838d72e4..98cb0d454d730128dc371c5428fa57e59158b1dd 100644
--- a/src/plugins/users/dune-project
+++ b/src/plugins/users/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/variadic/dune-project b/src/plugins/variadic/dune-project
index cb78e6ac14f6edb3f04ed62413b476f515d601c0..13442420443f7523a6b76622402d51c3e64b2f77 100644
--- a/src/plugins/variadic/dune-project
+++ b/src/plugins/variadic/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/wp/dune-project b/src/plugins/wp/dune-project
index 8bbddd250d143534a3a8dad3ea594eef29798b9e..ffbc172d7ca6e276711a8bad191948d809ba4a67 100644
--- a/src/plugins/wp/dune-project
+++ b/src/plugins/wp/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/tests/misc/share_directory.t/dune-project b/tests/misc/share_directory.t/dune-project
index e7f717f9d792787281dc6871500a2f4c7162ab5c..db9fcc5dba412b63f9b0832e558e0a3c34372396 100644
--- a/tests/misc/share_directory.t/dune-project
+++ b/tests/misc/share_directory.t/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-directories)
(package (name frama-c-directories))
diff --git a/tests/misc/user_directories.unix.t/dune-project b/tests/misc/user_directories.unix.t/dune-project
index e7f717f9d792787281dc6871500a2f4c7162ab5c..db9fcc5dba412b63f9b0832e558e0a3c34372396 100644
--- a/tests/misc/user_directories.unix.t/dune-project
+++ b/tests/misc/user_directories.unix.t/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
(using dune_site 0.1)
(name frama-c-directories)
(package (name frama-c-directories))
diff --git a/tools/hdrck/dune-project b/tools/hdrck/dune-project
index 4b4644e72669c5ab02ef35b652161e0a7a3032cc..fc88c6256a3f559c7a964cbcd16b1f64f9215cb7 100644
--- a/tools/hdrck/dune-project
+++ b/tools/hdrck/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/tools/lint/dune-project b/tools/lint/dune-project
index 519217b0cbf1305c51d92cbfa955918dec3e47d1..5ffa7327b8eff885a318471c2cc2f23f243c997e 100644
--- a/tools/lint/dune-project
+++ b/tools/lint/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/tools/ptests/dune-project b/tools/ptests/dune-project
index a4073e6be5815b053e5404e8a18fede028b76c0c..6e677fda4ce1a4f91c857b3dc93dfe8259cddcbd 100644
--- a/tools/ptests/dune-project
+++ b/tools/ptests/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.13)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;