update opam-mirror again
This commit is contained in:
parent
9bc032dc16
commit
8888d3cc2f
2 changed files with 1 additions and 1 deletions
|
@ -24,7 +24,7 @@ depends: [
|
|||
"dns-client-mirage" { ?monorepo & >= "9.0.0" & < "10.0.0" }
|
||||
"duration" { ?monorepo & < "1.0.0" }
|
||||
"ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" }
|
||||
"git-kv" { ?monorepo & < "0.0.5" }
|
||||
"git-kv" { ?monorepo & >= "0.0.5" }
|
||||
"git-mirage" { ?monorepo & >= "3.10.0" & >= "3.13.0" & < "3.18.0" }
|
||||
"git-paf" { ?monorepo & >= "3.10.0" }
|
||||
"gpt" { ?monorepo }
|
||||
|
|
Loading…
Reference in a new issue