diff options
Diffstat (limited to 'compiler/aeneas.opam')
| -rw-r--r-- | compiler/aeneas.opam | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/aeneas.opam b/compiler/aeneas.opam index 571b2d33..c92e8a1c 100644 --- a/compiler/aeneas.opam +++ b/compiler/aeneas.opam @@ -9,7 +9,7 @@ license: "Apache-2.0" homepage: "https://github.com/AeneasVerif/aeneas" bug-reports: "https://github.com/AeneasVerif/aeneas/issues" depends: [ - "dune" {>= "2.8"} + "dune" {>= "3.7"} "odoc" {with-doc} ] build: [ |