diff --git a/dune-project b/dune-project index 5d0991476d1fdfda4ffc4766b73aebfd1b4dec10..cc926b7e5ddf2d8d1a88f84fd300d8c7e8673b6a 100644 --- a/dune-project +++ b/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.9) +(lang dune 3.2) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-Clang ;; diff --git a/frama-c-clang.opam b/frama-c-clang.opam index 25c87f1647cc8e76fdbbd3dbf23a5fb872fee83b..b48ddefc8421f7c5a6dea0b39ddd9276fb89538b 100644 --- a/frama-c-clang.opam +++ b/frama-c-clang.opam @@ -2,7 +2,7 @@ opam-version: "2.0" tags: ["formal specification" "C++" "plugins" "ACSL" "ACSL++"] depends: [ - "dune" {>= "2.9"} + "dune" {>= "3.2"} "frama-c" {>= "25.0" & < "26.0"} "zarith" {>= "1.5"} "camlp5"