From 76c7d17cfe6210de624deed5a85c034ccc788ec2 Mon Sep 17 00:00:00 2001 From: Calascibetta Romain Date: Fri, 8 Nov 2024 16:17:46 +0100 Subject: [PATCH] Fix the opam file according to the CI --- cachet-solo5.opam | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/cachet-solo5.opam b/cachet-solo5.opam index ed57829..22a3239 100644 --- a/cachet-solo5.opam +++ b/cachet-solo5.opam @@ -16,8 +16,9 @@ build: [ "dune" "build" "-p" name "-j" jobs ] run-test: [ "dune" "runtest" "-p" name "-j" jobs ] depends: [ - "ocaml" {>= "4.14.0"} - "dune" {>= "3.5.0"} - "cachet" {= version} + "ocaml" {>= "4.14.0"} + "dune" {>= "3.5.0"} + "cachet" {= version} "mirage-solo5" {>= "0.7.0"} + "alcotest" {with-test & >= "1.8.0"} ]