Skip to content

Commit

Permalink
git requires carton.0.7.2 at least
Browse files Browse the repository at this point in the history
  • Loading branch information
dinosaure committed May 24, 2024
1 parent 8a77efe commit d7171f8
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions git.opam
Original file line number Diff line number Diff line change
Expand Up @@ -28,9 +28,9 @@ depends: [
"mimic" {>= "0.0.6"}
"cstruct" {>= "6.0.0"}
"angstrom" {>= "0.14.0"}
"carton" {>= "0.7.0"}
"carton-lwt" {>= "0.7.0"}
"carton-git" {>= "0.7.0"}
"carton" {>= "0.7.2"}
"carton-lwt" {>= "0.7.2"}
"carton-git" {>= "0.7.2"}
"ke" {>= "0.4"}
"fmt" {>= "0.8.7"}
"checkseum" {>= "0.3.3"}
Expand Down

0 comments on commit d7171f8

Please sign in to comment.