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

le-monitoring: fix dns-certify constraint

Browse source
This commit is contained in:
Hannes Mehnert 2021-05-04 00:37:00 +02:00
parent a5b39b6ca2
commit 5bb61c7dd1
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/mirage-unikernel-caldav-le-monitoring-hvt.0.0.1/opam vendored
View file

@ -6,7 +6,7 @@ depends: [ "arp" { >= "2.3.0" & < "3.0.0"}
"cohttp-mirage" { >= "4.0.0" & < "5.0.0"} "cohttp-mirage" { >= "4.0.0" & < "5.0.0"}
"conduit-mirage" { >= "4.0.0" & < "5.0.0"} "conduit-mirage" { >= "4.0.0" & < "5.0.0"}
"crunch" {build & >= "3.1.0" & < "4.0.0"} "crunch" {build & >= "3.1.0" & < "4.0.0"}
"dns-certify" { < "5.0.0"} "dns-certify" { >= "5.0.0"}
"ethernet" { >= "2.2.0" & < "3.0.0"} "ethernet" { >= "2.2.0" & < "3.0.0"}
"functoria-runtime" "functoria-runtime"
"git-mirage" { >= "3.4.0"} "git-mirage" { >= "3.4.0"}