diff --git a/dune-project b/dune-project index 07f2813..060a067 100644 --- a/dune-project +++ b/dune-project @@ -24,7 +24,7 @@ (synopsis "Web frontend for Goblint") (depends dune - (ocaml (>= 4.10.0)) + (ocaml (>= 4.14.0)) reason batteries cohttp-lwt diff --git a/gobview.opam b/gobview.opam index 466d1ff..572ba40 100644 --- a/gobview.opam +++ b/gobview.opam @@ -13,7 +13,7 @@ homepage: "https://github.com/goblint/gobview" bug-reports: "https://github.com/goblint/gobview/issues" depends: [ "dune" {>= "2.7"} - "ocaml" {>= "4.10.0"} + "ocaml" {>= "4.14.0"} "reason" "batteries" "cohttp-lwt"