update to mirage 4.3.4

This commit is contained in:
Hannes Mehnert 2023-03-12 16:45:39 +01:00
parent 8935c0c75b
commit 920f9213cc
16 changed files with 45 additions and 45 deletions

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.3.2 # Generated by mirage.v4.3.4
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -33,7 +33,7 @@ depends: [
"mirage" { build & >= "4.3.1" & < "4.4.0" } "mirage" { build & >= "4.3.1" & < "4.4.0" }
"mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" } "mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
"mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.11.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" } "mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }
@ -45,7 +45,7 @@ depends: [
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"paf-le" { ?monorepo & >= "0.4.0" } "paf-le" { ?monorepo & >= "0.4.0" }
"randomconv" { ?monorepo } "randomconv" { ?monorepo }
"solo5" { build & >= "0.7.5" & < "0.8.8" } "solo5" { build & >= "0.7.5" & < "0.8.0" }
"tcpip" { ?monorepo & >= "7.0.0" & < "8.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & < "8.0.0" }
"x509" { ?monorepo & >= "0.15.2" } "x509" { ?monorepo & >= "0.15.2" }
] ]

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.3.2 # Generated by mirage.v4.3.4
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -35,7 +35,7 @@ depends: [
"mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" } "mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
"mirage-console-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-console-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.11.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" } "mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" }
"mirage-monitoring" { ?monorepo } "mirage-monitoring" { ?monorepo }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
@ -48,7 +48,7 @@ depends: [
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"paf-le" { ?monorepo & >= "0.4.0" } "paf-le" { ?monorepo & >= "0.4.0" }
"randomconv" { ?monorepo } "randomconv" { ?monorepo }
"solo5" { build & >= "0.7.5" & < "0.8.8" } "solo5" { build & >= "0.7.5" & < "0.8.0" }
"tcpip" { ?monorepo & >= "7.0.0" & < "8.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & < "8.0.0" }
"x509" { ?monorepo & >= "0.15.2" } "x509" { ?monorepo & >= "0.15.2" }
] ]

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.2.1 # Generated by mirage.v4.3.4
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -28,11 +28,11 @@ depends: [
"mirage" { build & >= "4.2.0" & < "4.4.0" } "mirage" { build & >= "4.2.0" & < "4.4.0" }
"mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" } "mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
"mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.11.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" } "mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.3.0" } "mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.4.0" }
"mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" } "mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" }
"mirage-time" { ?monorepo } "mirage-time" { ?monorepo }
"ocaml" { build & >= "4.08.0" } "ocaml" { build & >= "4.08.0" }

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.2.1 # Generated by mirage.v4.3.4
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -30,12 +30,12 @@ depends: [
"mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" } "mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
"mirage-console-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-console-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.11.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" } "mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" }
"mirage-monitoring" { ?monorepo } "mirage-monitoring" { ?monorepo }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.3.0" } "mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.4.0" }
"mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" } "mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" }
"mirage-time" { ?monorepo } "mirage-time" { ?monorepo }
"ocaml" { build & >= "4.08.0" } "ocaml" { build & >= "4.08.0" }

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.2.0 # Generated by mirage.v4.3.4
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -27,11 +27,11 @@ depends: [
"mirage" { build & >= "4.2.0" & < "4.4.0" } "mirage" { build & >= "4.2.0" & < "4.4.0" }
"mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" } "mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
"mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.11.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" } "mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.3.0" } "mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.4.0" }
"mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" } "mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" }
"mirage-time" { ?monorepo } "mirage-time" { ?monorepo }
"ocaml" { build & >= "4.08.0" } "ocaml" { build & >= "4.08.0" }

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.2.0 # Generated by mirage.v4.3.4
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -29,12 +29,12 @@ depends: [
"mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" } "mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
"mirage-console-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-console-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.11.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" } "mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" }
"mirage-monitoring" { ?monorepo } "mirage-monitoring" { ?monorepo }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.3.0" } "mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.4.0" }
"mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" } "mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" }
"mirage-time" { ?monorepo } "mirage-time" { ?monorepo }
"ocaml" { build & >= "4.08.0" } "ocaml" { build & >= "4.08.0" }

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.2.1 # Generated by mirage.v4.3.4
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -33,7 +33,7 @@ depends: [
"mirage" { build & >= "4.3.1" & < "4.4.0" } "mirage" { build & >= "4.3.1" & < "4.4.0" }
"mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" } "mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
"mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.11.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" } "mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.2.1 # Generated by mirage.v4.3.4
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -35,7 +35,7 @@ depends: [
"mirage" { build & >= "4.3.1" & < "4.4.0" } "mirage" { build & >= "4.3.1" & < "4.4.0" }
"mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" } "mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
"mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.11.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" } "mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.2.0 # Generated by mirage.v4.3.4
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -23,7 +23,7 @@ depends: [
"mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" } "mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
"mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" } "mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" }
"mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.3.0" } "mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.4.0" }
"mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" } "mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" }
"mirage-time" { ?monorepo } "mirage-time" { ?monorepo }
"ocaml" { build & >= "4.08.0" } "ocaml" { build & >= "4.08.0" }

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.2.1 # Generated by mirage.v4.3.4
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -27,14 +27,14 @@ depends: [
"mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" } "mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
"mirage-console-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-console-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.11.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-kv" { ?monorepo & >= "2.0.0" } "mirage-kv" { ?monorepo & >= "2.0.0" }
"mirage-kv-mem" { ?monorepo & >= "3.0.0" & < "4.0.0" } "mirage-kv-mem" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" } "mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" }
"mirage-monitoring" { ?monorepo } "mirage-monitoring" { ?monorepo }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.3.0" } "mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.4.0" }
"mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" } "mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" }
"mirage-time" { ?monorepo } "mirage-time" { ?monorepo }
"ocaml" { build & >= "4.08.0" } "ocaml" { build & >= "4.08.0" }

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.3.1 # Generated by mirage.v4.3.4
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -28,7 +28,7 @@ depends: [
"mirage" { build & >= "4.3.1" & < "4.4.0" } "mirage" { build & >= "4.3.1" & < "4.4.0" }
"mirage-bootvar-xen" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-bootvar-xen" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
"mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.11.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" } "mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" }
"mirage-nat" { ?monorepo & >= "3.0.0" } "mirage-nat" { ?monorepo & >= "3.0.0" }
"mirage-net-xen" { ?monorepo } "mirage-net-xen" { ?monorepo }

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.3.2 # Generated by mirage.v4.3.4
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -28,7 +28,7 @@ depends: [
"mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" } "mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
"mirage-console-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-console-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.11.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" } "mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" }
"mirage-monitoring" { ?monorepo } "mirage-monitoring" { ?monorepo }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
@ -40,7 +40,7 @@ depends: [
"ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
"omd" { ?monorepo } "omd" { ?monorepo }
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"solo5" { build & >= "0.7.5" & < "0.8.8" } "solo5" { build & >= "0.7.5" & < "0.8.0" }
"tcpip" { ?monorepo & >= "3.7.1" & >= "7.0.0" & < "8.0.0" } "tcpip" { ?monorepo & >= "3.7.1" & >= "7.0.0" & < "8.0.0" }
"tls-mirage" { ?monorepo } "tls-mirage" { ?monorepo }
"tyxml" { ?monorepo & >= "4.5.0" } "tyxml" { ?monorepo & >= "4.5.0" }

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.2.0 # Generated by mirage.v4.3.4
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -27,19 +27,19 @@ depends: [
"mirage" { build & >= "4.2.0" & < "4.4.0" } "mirage" { build & >= "4.2.0" & < "4.4.0" }
"mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" } "mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
"mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.11.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-kv-mem" { ?monorepo & >= "3.0.0" & < "4.0.0" } "mirage-kv-mem" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" } "mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.3.0" } "mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.4.0" }
"mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" } "mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" }
"mirage-time" { ?monorepo } "mirage-time" { ?monorepo }
"ocaml" { build & >= "4.08.0" } "ocaml" { build & >= "4.08.0" }
"ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"tcpip" { ?monorepo & >= "7.0.0" & < "8.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & < "8.0.0" }
"tls-mirage" { ?monorepo & >= "0.13.0" & < "0.16.0" } "tls-mirage" { ?monorepo & >= "0.13.0" & < "0.17.0" }
"uri" { ?monorepo } "uri" { ?monorepo }
] ]

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.2.1 # Generated by mirage.v4.3.4
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -27,11 +27,11 @@ depends: [
"mirage-block-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-block-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" } "mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
"mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.11.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" } "mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.3.0" } "mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.4.0" }
"mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" } "mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" }
"mirage-time" { ?monorepo } "mirage-time" { ?monorepo }
"ocaml" { build & >= "4.08.0" } "ocaml" { build & >= "4.08.0" }

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.2.1 # Generated by mirage.v4.3.4
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -29,12 +29,12 @@ depends: [
"mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" } "mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
"mirage-console-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-console-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.11.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" } "mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" }
"mirage-monitoring" { ?monorepo } "mirage-monitoring" { ?monorepo }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.3.0" } "mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.4.0" }
"mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" } "mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" }
"mirage-time" { ?monorepo } "mirage-time" { ?monorepo }
"ocaml" { build & >= "4.08.0" } "ocaml" { build & >= "4.08.0" }

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.2.0 # Generated by mirage.v4.3.4
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -24,11 +24,11 @@ depends: [
"mirage" { build & >= "4.2.0" & < "4.4.0" } "mirage" { build & >= "4.2.0" & < "4.4.0" }
"mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" } "mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
"mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.11.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" } "mirage-logs" { ?monorepo & >= "1.2.0" & < "2.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.3.0" } "mirage-runtime" { ?monorepo & >= "4.2.0" & < "4.4.0" }
"mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" } "mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" }
"mirage-time" { ?monorepo } "mirage-time" { ?monorepo }
"mtime" { ?monorepo } "mtime" { ?monorepo }