From 72abbb576b8ffc8759dcfa31501738f6b561b05a Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Tue, 7 May 2024 15:20:57 +0300 Subject: [PATCH] Bump OCaml lower bound to 4.14 --- dune-project | 2 +- gobview.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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"