dns-primary-git: update

This commit is contained in:
Hannes Mehnert 2022-04-11 12:58:02 +02:00
parent 5ebd054872
commit 91786483c3
2 changed files with 4 additions and 4 deletions

View file

@ -2,11 +2,11 @@
opam-version: "2.0"
name: "mirage-unikernel-primary_git-hvt"
depends: [ "arp" { >= "3.0.0" & < "4.0.0"}
"dns-server" { >= "5.0.0"}
"dns-server" { >= "6.2.2"}
"dns-tsig"
"ethernet" { >= "3.0.0" & < "4.0.0"}
"functoria-runtime"
"git-mirage" { >= "3.7.0" & < "3.8.0"}
"git-mirage" { >= "3.7.0" & < "3.7.1"}
"git-paf" { >= "3.7.0"}
"irmin-mirage" { >= "2.10.0" & < "3.0.0"}
"irmin-mirage-git" { >= "2.10.0"}

View file

@ -2,11 +2,11 @@
opam-version: "2.0"
name: "mirage-unikernel-primary_git-hvt"
depends: [ "arp" { >= "3.0.0" & < "4.0.0"}
"dns-server" { >= "5.0.0"}
"dns-server" { >= "6.2.2"}
"dns-tsig"
"ethernet" { >= "3.0.0" & < "4.0.0"}
"functoria-runtime"
"git-mirage" { >= "3.7.0" & < "3.8.0"}
"git-mirage" { >= "3.7.0" & < "3.7.1"}
"git-paf" { >= "3.7.0"}
"irmin-mirage" { >= "2.10.0" & < "3.0.0"}
"irmin-mirage-git" { >= "2.10.0"}