diff --git a/doc/developer/examples/acsl_extension_ext_types/dune-project b/doc/developer/examples/acsl_extension_ext_types/dune-project
index 5646419c5301bfc9204bb63e0d35fb73a2459762..58bd1e5c15ec9baaa10bfa8608d9966dca0aac59 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.2)
+(lang dune 3.3)
 (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 5646419c5301bfc9204bb63e0d35fb73a2459762..58bd1e5c15ec9baaa10bfa8608d9966dca0aac59 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.2)
+(lang dune 3.3)
 (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 5646419c5301bfc9204bb63e0d35fb73a2459762..58bd1e5c15ec9baaa10bfa8608d9966dca0aac59 100644
--- a/doc/developer/examples/callstack/dune-project
+++ b/doc/developer/examples/callstack/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 (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 5646419c5301bfc9204bb63e0d35fb73a2459762..58bd1e5c15ec9baaa10bfa8608d9966dca0aac59 100644
--- a/doc/developer/examples/syntactic_check/dune-project
+++ b/doc/developer/examples/syntactic_check/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 (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 1ceb1f524013c791e4c7f6892c9fe7684e5024cb..f4d53a0723768620f6bd9b2d38f64d44403a1324 100644
--- a/doc/developer/tutorial/hello/src/dune-project
+++ b/doc/developer/tutorial/hello/src/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  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 df0ab2a885a56ee655b69017390cbe479c05fbee..ed9003050122d5b61d407b7d4d0d2c71ee226530 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.2)
+(lang dune 3.3)
 (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 df0ab2a885a56ee655b69017390cbe479c05fbee..ed9003050122d5b61d407b7d4d0d2c71ee226530 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.2)
+(lang dune 3.3)
 (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 df0ab2a885a56ee655b69017390cbe479c05fbee..ed9003050122d5b61d407b7d4d0d2c71ee226530 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.2)
+(lang dune 3.3)
 (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 df0ab2a885a56ee655b69017390cbe479c05fbee..ed9003050122d5b61d407b7d4d0d2c71ee226530 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.2)
+(lang dune 3.3)
 (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 df0ab2a885a56ee655b69017390cbe479c05fbee..ed9003050122d5b61d407b7d4d0d2c71ee226530 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.2)
+(lang dune 3.3)
 (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 df0ab2a885a56ee655b69017390cbe479c05fbee..ed9003050122d5b61d407b7d4d0d2c71ee226530 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.2)
+(lang dune 3.3)
 (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 df0ab2a885a56ee655b69017390cbe479c05fbee..ed9003050122d5b61d407b7d4d0d2c71ee226530 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.2)
+(lang dune 3.3)
 (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 f51b073e8f54f8f308c6d4ccd4f93156ad87be86..fea29a8a57b3ebf740a5340d6274c2c650d20a07 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.2)
+(lang dune 3.3)
 (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 f51b073e8f54f8f308c6d4ccd4f93156ad87be86..fea29a8a57b3ebf740a5340d6274c2c650d20a07 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.2)
+(lang dune 3.3)
 (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 f51b073e8f54f8f308c6d4ccd4f93156ad87be86..fea29a8a57b3ebf740a5340d6274c2c650d20a07 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.2)
+(lang dune 3.3)
 (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 f51b073e8f54f8f308c6d4ccd4f93156ad87be86..fea29a8a57b3ebf740a5340d6274c2c650d20a07 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.2)
+(lang dune 3.3)
 (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 f51b073e8f54f8f308c6d4ccd4f93156ad87be86..fea29a8a57b3ebf740a5340d6274c2c650d20a07 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.2)
+(lang dune 3.3)
 (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 f51b073e8f54f8f308c6d4ccd4f93156ad87be86..fea29a8a57b3ebf740a5340d6274c2c650d20a07 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.2)
+(lang dune 3.3)
 (using dune_site 0.1)
 
 (name frama-c-view-cfg)
diff --git a/src/libraries/qed/dune-project b/src/libraries/qed/dune-project
index 30de89263ca7599c77503f0691f5336e1f267449..d558f53e159d5b31ff821247a32f2d319265d95b 100644
--- a/src/libraries/qed/dune-project
+++ b/src/libraries/qed/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/alias/dune-project b/src/plugins/alias/dune-project
index c934d313d775e41dbb3ccc769d0dba2d1439110a..5f564c9a812ab5705915a36ed1ce66fbc4eb42bf 100644
--- a/src/plugins/alias/dune-project
+++ b/src/plugins/alias/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/aorai/dune-project b/src/plugins/aorai/dune-project
index b3c8dfe21c8184a59b18344039a80dd56cf4b275..4e033be9ebe2e1f95e6305ec09a4c16217247c6e 100644
--- a/src/plugins/aorai/dune-project
+++ b/src/plugins/aorai/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  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 06ff92bd6eb810f0ab4547194685b2d73facb196..de387c3ced328471da2eea45a964173ff1ce03ca 100644
--- a/src/plugins/api-generator/dune-project
+++ b/src/plugins/api-generator/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/callgraph/dune-project b/src/plugins/callgraph/dune-project
index 450a812f0f250f01e0b9992cdc97b0fd064bab1d..ecc401c852c23b0140e06580da6780f4b7e23c90 100644
--- a/src/plugins/callgraph/dune-project
+++ b/src/plugins/callgraph/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/constant_propagation/dune-project b/src/plugins/constant_propagation/dune-project
index 7c1de9ea27de6f846ac56174c02090a169af16df..802569e45b23d55dd6aa4df9ec4941ecdb1304d9 100644
--- a/src/plugins/constant_propagation/dune-project
+++ b/src/plugins/constant_propagation/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/dive/dune-project b/src/plugins/dive/dune-project
index 09cfd9cfc031c24d89fa15891155d93e3d4b536f..a3c9521d66212c728d8229c52504db13cb6ab55f 100644
--- a/src/plugins/dive/dune-project
+++ b/src/plugins/dive/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/e-acsl/dune-project b/src/plugins/e-acsl/dune-project
index 419df63232de76a63d932b7067ac1019eca33d65..c0b8fea74abbfc1b4e27492f93e8ce99ed9852f9 100644
--- a/src/plugins/e-acsl/dune-project
+++ b/src/plugins/e-acsl/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  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 2f4a65bccf3b27de50567234e0fa2dca2f8d65d9..580cbd8f7afbabbd5fe2793b09e81c6972ffb6c3 100644
--- a/src/plugins/eva/dune-project
+++ b/src/plugins/eva/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/from/dune-project b/src/plugins/from/dune-project
index 366e01a43fef7cf345003add958bb07a52c1f142..5e5648bb0c996a09b5cc549f7ba0a04ba0d47553 100644
--- a/src/plugins/from/dune-project
+++ b/src/plugins/from/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/impact/dune-project b/src/plugins/impact/dune-project
index 36350966e1e87900cde5ee93dfa6c1c2aa218cd3..78ae718254d966b8e54c97042295614dfbdd9e9f 100644
--- a/src/plugins/impact/dune-project
+++ b/src/plugins/impact/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/inout/dune-project b/src/plugins/inout/dune-project
index 3319087cb684d4f3b1be17478a544c1d45a5c385..52064990516ff39f01b0fa5e3b5904813cf8d03b 100644
--- a/src/plugins/inout/dune-project
+++ b/src/plugins/inout/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/instantiate/dune-project b/src/plugins/instantiate/dune-project
index 61714be1ac1f0f6475026bb3ac7ce5c15a58242c..c166d64d9c8eddd80f43fe581e64a16dcc7643de 100644
--- a/src/plugins/instantiate/dune-project
+++ b/src/plugins/instantiate/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/loop_analysis/dune-project b/src/plugins/loop_analysis/dune-project
index 0db3ff404c9bbc6a9c7a096959ac492cb29f6d50..d31e06130b049620c8c7e5d0249e8d72b05f828d 100644
--- a/src/plugins/loop_analysis/dune-project
+++ b/src/plugins/loop_analysis/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/markdown-report/dune-project b/src/plugins/markdown-report/dune-project
index 5ed8ee2293837213c7731f21a0bce7f054773fa5..920d99210b4b369eef6342209f559f20150a7a3e 100644
--- a/src/plugins/markdown-report/dune-project
+++ b/src/plugins/markdown-report/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/metrics/dune-project b/src/plugins/metrics/dune-project
index 42db3b3fc021af1549c0423db5f797106b0cfb86..68310fd4976278bd416f2bdcdea69bf195b0c686 100644
--- a/src/plugins/metrics/dune-project
+++ b/src/plugins/metrics/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/nonterm/dune-project b/src/plugins/nonterm/dune-project
index 06cca356de555cfac79f0e17a7e7d9dd95f052af..df0a7bb598807478af01ce62a22602dc948fa2f1 100644
--- a/src/plugins/nonterm/dune-project
+++ b/src/plugins/nonterm/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/obfuscator/dune-project b/src/plugins/obfuscator/dune-project
index 776efcd7304909a6c7bf77656cc919d4bc0ec1dd..5ea30ad86dd693d586329ce6e7df577c77810224 100644
--- a/src/plugins/obfuscator/dune-project
+++ b/src/plugins/obfuscator/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/occurrence/dune-project b/src/plugins/occurrence/dune-project
index 0e25b9aef89901fae3f4e3ff5f92f7a7afdb821a..316594c53e43b74e2ec8febc3a65cfc54869554a 100644
--- a/src/plugins/occurrence/dune-project
+++ b/src/plugins/occurrence/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/pdg/dune-project b/src/plugins/pdg/dune-project
index 2848ef485e5fedd4ca5883d93bfee827c8ef1955..09c0389120abf233998b7f3579e035eadc5e958e 100644
--- a/src/plugins/pdg/dune-project
+++ b/src/plugins/pdg/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/postdominators/dune-project b/src/plugins/postdominators/dune-project
index 296c37ad872540185b7089c20796b156e66a71b1..20dbe0a7fa45a9a8e98aab6eba52b334a864efc5 100644
--- a/src/plugins/postdominators/dune-project
+++ b/src/plugins/postdominators/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/reduc/dune-project b/src/plugins/reduc/dune-project
index 0d005d694c5ab1c9a9f5d2f5a9013ee132297db6..02023e59bb268d68a71fa1951607a687333a0aca 100644
--- a/src/plugins/reduc/dune-project
+++ b/src/plugins/reduc/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/report/dune-project b/src/plugins/report/dune-project
index a85c40cebfa957990bdb76d898e0cd33df11caf6..f0306f7eaa7ca6d2e82a4385c70fb37a8754fde7 100644
--- a/src/plugins/report/dune-project
+++ b/src/plugins/report/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/rte/dune-project b/src/plugins/rte/dune-project
index 1087951f653046357a2763ceecb68da034298446..13e6264437c97d10bc7c7f8fe87759b25afe6802 100644
--- a/src/plugins/rte/dune-project
+++ b/src/plugins/rte/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/scope/dune-project b/src/plugins/scope/dune-project
index 8c7953c33276f34b30138afdf96d41c0c5a40e89..f35ceb4834c646c0f1f57e43ee0cc2572eed0d2c 100644
--- a/src/plugins/scope/dune-project
+++ b/src/plugins/scope/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/security_slicing/dune-project b/src/plugins/security_slicing/dune-project
index 73b3bfee2513861eca727b9147db61eaa55638ea..4bf4c106a698abd74d03c962ea2077749207ccb4 100644
--- a/src/plugins/security_slicing/dune-project
+++ b/src/plugins/security_slicing/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/server/dune-project b/src/plugins/server/dune-project
index 864472bae72a5e58bba090f72805e151aa7499af..f73b2da04b8b19c53ecf77e48d3ddaabd3b58aac 100644
--- a/src/plugins/server/dune-project
+++ b/src/plugins/server/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/slicing/dune-project b/src/plugins/slicing/dune-project
index 3c67d5396ded345be7611a622565dc940b638cc0..7b55b8d077a491676c1b2ed144ff5992b0146f5a 100644
--- a/src/plugins/slicing/dune-project
+++ b/src/plugins/slicing/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/sparecode/dune-project b/src/plugins/sparecode/dune-project
index 526b4997ab7d827949e7359def2b957a959e714e..873e175b801ef64f7bd055559e3a5f684c6d1cc9 100644
--- a/src/plugins/sparecode/dune-project
+++ b/src/plugins/sparecode/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/studia/dune-project b/src/plugins/studia/dune-project
index 1fb45865162b7a212f06d5f9e2eba44988a963b7..afe3133659b446e5cefa7bbe2ba59e97e88a6579 100644
--- a/src/plugins/studia/dune-project
+++ b/src/plugins/studia/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/users/dune-project b/src/plugins/users/dune-project
index de808f5c12f61f43c3f960ef56187e1c78aba22f..b2d79d60cc45f9c801792e907492ef027c2309b2 100644
--- a/src/plugins/users/dune-project
+++ b/src/plugins/users/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/variadic/dune-project b/src/plugins/variadic/dune-project
index 8de451bcef19ab19ed265b0b0e235faa017bd5ce..49f444baf72690488ee0d1728fbb3a02f9251b2b 100644
--- a/src/plugins/variadic/dune-project
+++ b/src/plugins/variadic/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/src/plugins/wp/dune-project b/src/plugins/wp/dune-project
index fb6fa24ce8ed1c3a612e0bc39c06e168d288d73c..03706f9a1cca4b70b1c51cc1fbcc7ee8d8fb8603 100644
--- a/src/plugins/wp/dune-project
+++ b/src/plugins/wp/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/tools/hdrck/dune-project b/tools/hdrck/dune-project
index c27d657559687bced36fa7e44e8eecc60f45d10c..bc13dab0fcc32652187b959f3b3051b74801ce27 100644
--- a/tools/hdrck/dune-project
+++ b/tools/hdrck/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/tools/lint/dune-project b/tools/lint/dune-project
index 23b0e5a01616310ddedad826f70cc4edb706d0a4..803d09ccdffd650c88d1255a093bf7da444b2f0e 100644
--- a/tools/lint/dune-project
+++ b/tools/lint/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;
diff --git a/tools/ptests/dune-project b/tools/ptests/dune-project
index 475e7f1d70b73480ec6785ac45704d07091f6de0..c5e576885d9cbe1ef6ab8f961c177334aeb1540d 100644
--- a/tools/ptests/dune-project
+++ b/tools/ptests/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;