From 8cc5f0d9001fc0a86675554f944ec1fc75cde862 Mon Sep 17 00:00:00 2001 From: Guillaume Petiot Date: Thu, 26 Sep 2024 18:58:15 +0100 Subject: [PATCH] need 5.2 --- dune-project | 2 +- get-activity-lib.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dune-project b/dune-project index 55fe86a..c227eec 100644 --- a/dune-project +++ b/dune-project @@ -42,4 +42,4 @@ (yojson (>= 1.6)) (ocaml - (>= 4.08)))) + (>= 5.2)))) diff --git a/get-activity-lib.opam b/get-activity-lib.opam index 7cee692..a966219 100644 --- a/get-activity-lib.opam +++ b/get-activity-lib.opam @@ -15,7 +15,7 @@ depends: [ "logs" "ppx_yojson_conv" "yojson" {>= "1.6"} - "ocaml" {>= "4.08"} + "ocaml" {>= "5.2"} "odoc" {with-doc} ] build: [