From 4d90029a4145a738ca69d83baa02bb9eb615aa0c Mon Sep 17 00:00:00 2001 From: Calascibetta Romain Date: Sat, 30 Sep 2023 14:56:46 +0200 Subject: [PATCH] Git requires carton.0.7.0 at least --- git.opam | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/git.opam b/git.opam index c55510ba1..5b04d06c9 100644 --- a/git.opam +++ b/git.opam @@ -29,9 +29,9 @@ depends: [ "mimic" {>= "0.0.6"} "cstruct" {>= "6.0.0"} "angstrom" {>= "0.14.0"} - "carton" {>= "0.4.4"} - "carton-lwt" {>= "0.4.4"} - "carton-git" {>= "0.4.4"} + "carton" {>= "0.7.0"} + "carton-lwt" {>= "0.7.0"} + "carton-git" {>= "0.7.0"} "ke" {>= "0.4"} "fmt" {>= "0.8.7"} "checkseum" {>= "0.3.3"}