Build: fix dependencies to synchronize irmin and irmin-unix
This commit is contained in:
parent
b562695e52
commit
5028c8a845
@ -23,7 +23,7 @@ depends: [
|
||||
"git"
|
||||
"git-unix"
|
||||
"irmin" {>= "1.3" }
|
||||
"irmin-unix"
|
||||
"irmin-unix" {>= "1.3" }
|
||||
"lwt" {>= "3.0.0" }
|
||||
"lwt_ssl"
|
||||
"menhir"
|
||||
|
Loading…
Reference in New Issue
Block a user