robur/unikernel-repo
4
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

restrict ptt to irmin < 3

Browse source
This commit is contained in:
Hannes Mehnert 2022-03-03 11:25:06 +01:00
parent 4d003e5587
commit 67e8f660f1
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
packages/ptt.0.0.1~dev/opam
View file

@ -33,7 +33,7 @@ depends: [
"irmin-unix" {>= "2.10.0"} "irmin-unix" {>= "2.10.0"}
"ca-certs" "ca-certs"
"cmdliner" "cmdliner"
"irmin" {>= "2.10.0"} "irmin" {>= "2.10.0" & < "3.0.0"}
"mirage-kv" "mirage-kv"
"dns-client" {>= "5.0.0"} "dns-client" {>= "5.0.0"}
"mirage-clock-unix" {>= "3.1.0"} "mirage-clock-unix" {>= "3.1.0"}