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

Compare commits

base: robur:main
Branches Tags
robur:main
robur:miragevpn-qubes
..
compare: robur:miragevpn-qubes
Branches Tags
robur:main
robur:miragevpn-qubes

1 commit
main ... miragevpn-

Author SHA1 Message Date
Reynir Björnsson
0de78e26f1 Import qubes-miragevpn-xen.opam as-is 
It will need some adjustments...
 2024-10-01 13:32:28 +02:00
33 changed files with 176 additions and 211 deletions
Show stats Expand all files Collapse all files

0
packages/albatross.2.3.99~dev/opam → packages/albatross.2.2.99~dev/opam
View file

32
packages/dnsvizor.0.0.1~dev/opam
View file

@ -1,32 +0,0 @@
opam-version: "2.0"
synopsis: "Library implementing DNSvizor things"
name: "miragevpn"
homepage: "https://github.com/robur-coop/dnsvizor"
dev-repo: "git+https://github.com/robur-coop/dnsvizor.git"
bug-reports: "https://github.com/robur-coop/dnsvizor/issues"
doc: "https://github.com/robur-coop/dnsvizor/doc"
author: ["robur"]
maintainer: ["robur"]
license: "BSD-2-Clause"
build: [
["dune" "subst" ] {dev}
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
depends: [
"dune" {>= "2.9"}
"ocaml" {>= "4.14.0"}
"odoc" {with-doc}
"angstrom" { >= "0.14.0" }
"fmt" {>= "0.9.0"}
"ipaddr" {>= "5.6.0"}
"cmdliner" {>= "1.2.0"}
"alcotest" {with-test}
]
url {
src: "git+https://github.com/robur-coop/dnsvizor.git"
}

25
packages/mirage-unikernel-caldav-hvt.0.0.2/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.5.1
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -10,7 +10,7 @@ synopsis: "A CalDAV unikernel (RFC 4791) using a remote git repository for data
build: [ build: [
[ "sh" "-exc" "cd mirage/ && fetch https://github.com/sg2342/caldavzap/archive/e2895d3d578c53fa38e12023a9d3b107055af131.tar.gz && tar -C caldavzap -x -s /caldavzap-e2895d3d578c53fa38e12023a9d3b107055af131// -f e2895d3d578c53fa38e12023a9d3b107055af131.tar.gz"] [ "sh" "-exc" "cd mirage/ && fetch https://github.com/sg2342/caldavzap/archive/e2895d3d578c53fa38e12023a9d3b107055af131.tar.gz && tar -C caldavzap -x -s /caldavzap-e2895d3d578c53fa38e12023a9d3b107055af131// -f e2895d3d578c53fa38e12023a9d3b107055af131.tar.gz"]
[ make "-Cmirage/" "build" ] [ make "-Cmirage" "build" ]
] ]
install: [ install: [
@ -24,34 +24,35 @@ depends: [
"arp" { ?monorepo & >= "3.0.0" & < "4.0.0" } "arp" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"caldav" { ?monorepo } "caldav" { ?monorepo }
"cohttp-mirage" { ?monorepo & >= "4.0.0" & < "6.0.0" } "cohttp-mirage" { ?monorepo & >= "4.0.0" & < "6.0.0" }
"conduit-mirage" { ?monorepo & >= "7.0.0" & < "8.0.0" } "conduit-mirage" { ?monorepo & >= "6.0.1" & < "7.0.0" }
"crunch" { ?monorepo & build & >= "3.1.0" & < "4.0.0" } "crunch" { ?monorepo & build & >= "3.1.0" & < "4.0.0" }
"dns-client-mirage" { ?monorepo & >= "9.0.0" & < "10.0.0" } "dns-client-mirage" { ?monorepo & >= "7.0.0" & < "8.0.0" }
"duration" { ?monorepo & < "1.0.0" } "duration" { ?monorepo & < "1.0.0" }
"ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" } "ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"fmt" { ?monorepo & >= "0.8.7" } "fmt" { ?monorepo & >= "0.8.7" }
"git-kv" { ?monorepo & >= "0.0.3" } "git-kv" { ?monorepo & >= "0.0.3" }
"git-mirage" { ?monorepo & >= "3.10.0" & >= "3.13.0" & < "3.18.0" } "git-mirage" { ?monorepo & >= "3.10.0" & >= "3.13.0" & < "3.17.0" }
"happy-eyeballs-mirage" { ?monorepo & >= "1.2.0" & < "2.0.0" } "happy-eyeballs-mirage" { ?monorepo & >= "0.6.0" & < "1.0.0" }
"icalendar" { ?monorepo & >= "0.1.3" } "icalendar" { ?monorepo & >= "0.1.3" }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"mimic" { ?monorepo } "mimic" { ?monorepo }
"mimic-happy-eyeballs" { ?monorepo & >= "0.0.9" } "mimic-happy-eyeballs" { ?monorepo & >= "0.0.5" }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.5.1" & < "4.6.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.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 & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-runtime" { ?monorepo & >= "4.8.0" & < "4.9.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-runtime" { ?monorepo & >= "4.5.0" & < "4.6.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"solo5" { build & >= "0.7.5" & < "0.9.0" } "solo5" { build & >= "0.7.5" & < "0.9.0" }
"tcpip" { ?monorepo & >= "8.2.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & >= "7.1.0" & < "9.0.0" }
"tls-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" } "tls-mirage" { ?monorepo & >= "0.13.0" & < "0.18.0" }
"uri" { ?monorepo } "uri" { ?monorepo }
] ]

48
packages/mirage-unikernel-caldav-le-monitoring-hvt.0.0.2/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.1 # Generated by mirage.v4.3.6
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -8,10 +8,7 @@ bug-reports: "dummy"
dev-repo: "git://dummy" dev-repo: "git://dummy"
synopsis: "A CalDAV unikernel (RFC 4791) using a remote git repository for data storage, reports metrics to influx and certificate retrieval via DNS and let's encrypt" synopsis: "A CalDAV unikernel (RFC 4791) using a remote git repository for data storage, reports metrics to influx and certificate retrieval via DNS and let's encrypt"
build: [ build: ["sh" "-exc" "cd mirage/ && fetch https://github.com/sg2342/caldavzap/archive/e2895d3d578c53fa38e12023a9d3b107055af131.tar.gz && tar -C caldavzap -x -s /caldavzap-e2895d3d578c53fa38e12023a9d3b107055af131// -f e2895d3d578c53fa38e12023a9d3b107055af131.tar.gz && mirage build"]
["sh" "-exc" "cd mirage/ && fetch https://github.com/sg2342/caldavzap/archive/e2895d3d578c53fa38e12023a9d3b107055af131.tar.gz && tar -C caldavzap -x -s /caldavzap-e2895d3d578c53fa38e12023a9d3b107055af131// -f e2895d3d578c53fa38e12023a9d3b107055af131.tar.gz" ]
[make "-Cmirage/" "build"]
]
install: [ install: [
[ "cp" "mirage/dist/caldav.hvt" "%{bin}%/caldav.hvt" ] [ "cp" "mirage/dist/caldav.hvt" "%{bin}%/caldav.hvt" ]
@ -23,45 +20,44 @@ install: [
depends: [ depends: [
"arp" { ?monorepo & >= "3.0.0" & < "4.0.0" } "arp" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"caldav" { ?monorepo } "caldav" { ?monorepo }
"cmdliner-stdlib" { ?monorepo & >= "1.0.1" & < "2.0.0" }
"cohttp-mirage" { ?monorepo & >= "4.0.0" & < "6.0.0" } "cohttp-mirage" { ?monorepo & >= "4.0.0" & < "6.0.0" }
"conduit-mirage" { ?monorepo & >= "7.0.0" & < "8.0.0" } "conduit-mirage" { ?monorepo & >= "6.0.1" & < "7.0.0" }
"crunch" { ?monorepo & build & >= "3.1.0" & < "4.0.0" } "crunch" { ?monorepo & build & >= "3.1.0" & < "4.0.0" }
"dns-certify" { ?monorepo & >= "9.1.0" } "dns-certify" { ?monorepo & >= "5.0.0" }
"dns-client-mirage" { ?monorepo & >= "9.0.0" & < "10.0.0" } "dns-client-mirage" { ?monorepo & >= "7.0.0" & < "8.0.0" }
"duration" { ?monorepo & < "1.0.0" }
"ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" } "ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"fmt" { ?monorepo & >= "0.8.7" } "fmt" { ?monorepo & >= "0.8.7" }
"git-kv" { ?monorepo & >= "0.1.0" } "git-kv" { ?monorepo & >= "0.0.3" }
"git-mirage" { ?monorepo & >= "3.10.0" & >= "3.13.0" & < "3.18.0" } "git-mirage" { ?monorepo & >= "3.10.0" & >= "3.13.0" & < "3.14.0" }
"happy-eyeballs-mirage" { ?monorepo & >= "1.2.0" & < "2.0.0" } "happy-eyeballs-mirage" { ?monorepo & >= "0.3.0" & < "1.0.0" }
"icalendar" { ?monorepo & >= "0.1.3" } "icalendar" { ?monorepo & >= "0.1.3" }
"logs-syslog" { ?monorepo & >= "0.4.0" } "logs-syslog" { ?monorepo & >= "0.4.0" }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"mimic" { ?monorepo } "mimic" { ?monorepo }
"mimic-happy-eyeballs" { ?monorepo & >= "0.0.9" } "mimic-happy-eyeballs" { ?monorepo & >= "0.0.5" }
"mirage" { build & >= "4.8.1" & < "4.9.0" } "mirage" { build & >= "4.4.0" & < "4.5.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.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 & >= "2.0.0" & < "3.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-runtime" { ?monorepo & >= "4.8.1" & < "4.9.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-runtime" { ?monorepo & >= "4.4.0" & < "4.5.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"solo5" { build & >= "0.7.5" & < "0.10.0" } "solo5" { build & >= "0.7.5" & < "0.9.0" }
"tcpip" { ?monorepo & >= "8.2.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & >= "7.1.0" & < "9.0.0" }
"tls-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" } "tls-mirage" { ?monorepo & >= "0.13.0" & < "0.18.0" }
"uri" { ?monorepo } "uri" { ?monorepo }
] ]
x-mirage-opam-lock-location: "mirage/mirage/caldav-hvt.opam.locked" x-mirage-opam-lock-location: "mirage/mirage/caldav-hvt.opam.locked"
x-mirage-configure: ["sh" "-exc" "cd mirage/ && mirage configure -t hvt --enable-monitoring --context ./mirage/context --no-extra-repo"] x-mirage-configure: ["sh" "-exc" "cd mirage/ && mirage configure -t hvt --allocation-policy=best-fit --enable-monitoring --context ./mirage/context --no-extra-repo"]
x-mirage-pre-build: [make "-Cmirage/" "lock" "depext-lockfile" "pull"] x-mirage-pre-build: [make "-Cmirage/" "lock" "depext-lockfile" "pull"]
@ -70,6 +66,8 @@ x-mirage-extra-repo: [
["mirage-overlays" "https://github.com/dune-universe/mirage-opam-overlays.git"]] ["mirage-overlays" "https://github.com/dune-universe/mirage-opam-overlays.git"]]
x-opam-monorepo-opam-provided: ["mirage" "ocaml-solo5" "opam-monorepo" "solo5"] x-opam-monorepo-opam-provided: ["mirage"
"ocaml-solo5""opam-monorepo"
"solo5"]
url { src: "git+https://github.com/robur-coop/caldav.git#future-le" } url { src: "git+https://github.com/robur-coop/caldav.git#future-le" }

23
packages/mirage-unikernel-caldav-monitoring-hvt.0.0.3/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.5.1
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -24,36 +24,37 @@ depends: [
"arp" { ?monorepo & >= "3.0.0" & < "4.0.0" } "arp" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"caldav" { ?monorepo } "caldav" { ?monorepo }
"cohttp-mirage" { ?monorepo & >= "4.0.0" & < "6.0.0" } "cohttp-mirage" { ?monorepo & >= "4.0.0" & < "6.0.0" }
"conduit-mirage" { ?monorepo & >= "7.0.0" & < "8.0.0" } "conduit-mirage" { ?monorepo & >= "6.0.1" & < "7.0.0" }
"crunch" { ?monorepo & build & >= "3.1.0" & < "4.0.0" } "crunch" { ?monorepo & build & >= "3.1.0" & < "4.0.0" }
"dns-client-mirage" { ?monorepo & >= "9.0.0" & < "10.0.0" } "dns-client-mirage" { ?monorepo & >= "7.0.0" & < "8.0.0" }
"duration" { ?monorepo & < "1.0.0" } "duration" { ?monorepo & < "1.0.0" }
"ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" } "ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"fmt" { ?monorepo & >= "0.8.7" } "fmt" { ?monorepo & >= "0.8.7" }
"git-kv" { ?monorepo & >= "0.0.3" } "git-kv" { ?monorepo & >= "0.0.3" }
"git-mirage" { ?monorepo & >= "3.10.0" & >= "3.13.0" & < "3.18.0" } "git-mirage" { ?monorepo & >= "3.10.0" & >= "3.13.0" & < "3.17.0" }
"happy-eyeballs-mirage" { ?monorepo & >= "1.2.0" & < "2.0.0" } "happy-eyeballs-mirage" { ?monorepo & >= "0.6.0" & < "1.0.0" }
"icalendar" { ?monorepo & >= "0.1.3" } "icalendar" { ?monorepo & >= "0.1.3" }
"logs-syslog" { ?monorepo & >= "0.4.0" } "logs-syslog" { ?monorepo & >= "0.4.0" }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"mimic" { ?monorepo } "mimic" { ?monorepo }
"mimic-happy-eyeballs" { ?monorepo & >= "0.0.9" } "mimic-happy-eyeballs" { ?monorepo & >= "0.0.5" }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.5.1" & < "4.6.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.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 & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.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-runtime" { ?monorepo & >= "4.8.0" & < "4.9.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-runtime" { ?monorepo & >= "4.5.1" & < "4.6.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"solo5" { build & >= "0.7.5" & < "0.9.0" } "solo5" { build & >= "0.7.5" & < "0.9.0" }
"tcpip" { ?monorepo & >= "8.2.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & >= "7.1.0" & < "9.0.0" }
"tls-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" } "tls-mirage" { ?monorepo & >= "0.13.0" & < "0.18.0" }
"uri" { ?monorepo } "uri" { ?monorepo }
] ]

6
packages/mirage-unikernel-dns-letsencrypt-hvt.0.0.3/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -34,13 +34,13 @@ depends: [
"logs" { ?monorepo } "logs" { ?monorepo }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"mimic-happy-eyeballs" { ?monorepo & >= "0.0.9" } "mimic-happy-eyeballs" { ?monorepo & >= "0.0.9" }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-runtime" { ?monorepo & >= "4.3.2" & >= "4.8.0" & < "4.9.0" } "mirage-runtime" { ?monorepo & >= "4.3.2" & >= "4.7.0" & < "4.8.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }

6
packages/mirage-unikernel-dns-letsencrypt-monitoring-hvt.0.0.3/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -35,14 +35,14 @@ depends: [
"logs-syslog" { ?monorepo & >= "0.4.0" } "logs-syslog" { ?monorepo & >= "0.4.0" }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"mimic-happy-eyeballs" { ?monorepo & >= "0.0.9" } "mimic-happy-eyeballs" { ?monorepo & >= "0.0.9" }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.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-runtime" { ?monorepo & >= "4.3.2" & >= "4.8.0" & < "4.9.0" } "mirage-runtime" { ?monorepo & >= "4.3.2" & >= "4.7.0" & < "4.8.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }

6
packages/mirage-unikernel-dns-primary-git-hvt.0.0.2/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -31,13 +31,13 @@ depends: [
"lwt" { ?monorepo } "lwt" { ?monorepo }
"mimic" { ?monorepo } "mimic" { ?monorepo }
"mimic-happy-eyeballs" { ?monorepo & >= "0.0.9" } "mimic-happy-eyeballs" { ?monorepo & >= "0.0.9" }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-runtime" { ?monorepo & >= "4.3.1" & >= "4.8.0" & < "4.9.0" } "mirage-runtime" { ?monorepo & >= "4.3.1" & >= "4.7.0" & < "4.8.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }

6
packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.2/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -32,14 +32,14 @@ depends: [
"lwt" { ?monorepo } "lwt" { ?monorepo }
"mimic" { ?monorepo } "mimic" { ?monorepo }
"mimic-happy-eyeballs" { ?monorepo & >= "0.0.9" } "mimic-happy-eyeballs" { ?monorepo & >= "0.0.9" }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.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-runtime" { ?monorepo & >= "4.3.1" & >= "4.8.0" & < "4.9.0" } "mirage-runtime" { ?monorepo & >= "4.3.1" & >= "4.7.0" & < "4.8.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }

8
packages/mirage-unikernel-dns-secondary-hvt.0.0.2/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -6,7 +6,7 @@ authors: "dummy"
homepage: "dummy" homepage: "dummy"
bug-reports: "dummy" bug-reports: "dummy"
dev-repo: "git://dummy" dev-repo: "git://dummy"
synopsis: "A secondary DNS server as unikernel" synopsis: "A DNS secondary unikernel"
build: [make "build"] build: [make "build"]
@ -25,13 +25,13 @@ depends: [
"ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" } "ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"logs" { ?monorepo } "logs" { ?monorepo }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-runtime" { ?monorepo & >= "4.8.0" & < "4.9.0" } "mirage-runtime" { ?monorepo & >= "4.7.0" & < "4.8.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }

8
packages/mirage-unikernel-dns-secondary-monitoring-hvt.0.0.2/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -6,7 +6,7 @@ authors: "dummy"
homepage: "dummy" homepage: "dummy"
bug-reports: "dummy" bug-reports: "dummy"
dev-repo: "git://dummy" dev-repo: "git://dummy"
synopsis: "A secondary DNS server as unikernel which reports metrics to influx" synopsis: "A DNS secondary unikernel which reports metrics to influx"
build: [make "build"] build: [make "build"]
@ -26,14 +26,14 @@ depends: [
"logs" { ?monorepo } "logs" { ?monorepo }
"logs-syslog" { ?monorepo & >= "0.4.0" } "logs-syslog" { ?monorepo & >= "0.4.0" }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.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-runtime" { ?monorepo & >= "4.8.0" & < "4.9.0" } "mirage-runtime" { ?monorepo & >= "4.7.0" & < "4.8.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }

20
packages/mirage-unikernel-dns-stub-hvt.0.0.2/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -8,12 +8,12 @@ bug-reports: "dummy"
dev-repo: "git://dummy" dev-repo: "git://dummy"
synopsis: "A DNS stub resolver" synopsis: "A DNS stub resolver"
build: [make "build"] build: [make "-Cdns-only/" "build"]
install: [ install: [
[ "cp" "dist/dns-stub.hvt" "%{bin}%/dns-stub.hvt" ] [ "cp" "dns-only/dist/dns-stub.hvt" "%{bin}%/dns-stub.hvt" ]
[ "strip" "%{bin}%/dns-stub.hvt" ] [ "strip" "%{bin}%/dns-stub.hvt" ]
[ "cp" "dist/dns-stub.hvt" "%{prefix}%/dns-stub.hvt.debug" ] [ "cp" "dns-only/dist/dns-stub.hvt" "%{prefix}%/dns-stub.hvt.debug" ]
[ "cp" "README.md" "%{prefix}%/README.md" ] [ "cp" "README.md" "%{prefix}%/README.md" ]
] ]
@ -31,13 +31,13 @@ depends: [
"logs" { ?monorepo } "logs" { ?monorepo }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"metrics" { ?monorepo } "metrics" { ?monorepo }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-runtime" { ?monorepo & >= "4.3.1" & >= "4.8.0" & < "4.9.0" } "mirage-runtime" { ?monorepo & >= "4.3.1" & >= "4.7.0" & < "4.8.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }
@ -46,11 +46,11 @@ depends: [
"tcpip" { ?monorepo & >= "8.2.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "8.2.0" & < "9.0.0" }
] ]
x-mirage-opam-lock-location: "mirage/dns-stub-hvt.opam.locked" x-mirage-opam-lock-location: "dns-only/mirage/dns-stub-hvt.opam.locked"
x-mirage-configure: ["sh" "-exc" "mirage configure -t hvt --context ./mirage/context --no-extra-repo"] x-mirage-configure: ["sh" "-exc" "cd dns-only/ && mirage configure -t hvt --context ./mirage/context --no-extra-repo"]
x-mirage-pre-build: [make "lock" "depext-lockfile" "pull"] x-mirage-pre-build: [make "-Cdns-only/" "lock" "depext-lockfile" "pull"]
x-mirage-extra-repo: [ x-mirage-extra-repo: [
["opam-overlays" "https://github.com/dune-universe/opam-overlays.git"] ["opam-overlays" "https://github.com/dune-universe/opam-overlays.git"]
@ -59,4 +59,4 @@ x-mirage-extra-repo: [
x-opam-monorepo-opam-provided: ["mirage" "ocaml-solo5" "opam-monorepo" "solo5"] x-opam-monorepo-opam-provided: ["mirage" "ocaml-solo5" "opam-monorepo" "solo5"]
url { src: "git+https://github.com/robur-coop/dns-stub.git" } url { src: "git+https://github.com/robur-coop/dnsvizor.git" }

28
packages/mirage-unikernel-dnsvizor-hvt.0.0.2/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.1 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -6,14 +6,14 @@ authors: "dummy"
homepage: "dummy" homepage: "dummy"
bug-reports: "dummy" bug-reports: "dummy"
dev-repo: "git://dummy" dev-repo: "git://dummy"
synopsis: "A DNS resolver and DHCP server MirageOS unikernel" synopsis: "A DNS resolver and DHCP server"
build: [make "-Cmirage/" "build"] build: [make "-Cdns-and-dhcp/" "build"]
install: [ install: [
[ "cp" "mirage/dist/dnsvizor.hvt" "%{bin}%/dnsvizor.hvt" ] [ "cp" "dns-and-dhcp/dist/dnsvizor.hvt" "%{bin}%/dnsvizor.hvt" ]
[ "strip" "%{bin}%/dnsvizor.hvt" ] [ "strip" "%{bin}%/dnsvizor.hvt" ]
[ "cp" "mirage/dist/dnsvizor.hvt" "%{prefix}%/dnsvizor.hvt.debug" ] [ "cp" "dns-and-dhcp/dist/dnsvizor.hvt" "%{prefix}%/dnsvizor.hvt.debug" ]
[ "cp" "README.md" "%{prefix}%/README.md" ] [ "cp" "README.md" "%{prefix}%/README.md" ]
] ]
@ -21,40 +21,38 @@ depends: [
"arp" { ?monorepo & >= "3.0.0" } "arp" { ?monorepo & >= "3.0.0" }
"charrua" { ?monorepo } "charrua" { ?monorepo }
"charrua-server" { ?monorepo } "charrua-server" { ?monorepo }
"cmdliner-stdlib" { ?monorepo & >= "1.0.1" & < "2.0.0" }
"dns" { ?monorepo } "dns" { ?monorepo }
"dns-client" { ?monorepo } "dns-client" { ?monorepo }
"dns-mirage" { ?monorepo } "dns-mirage" { ?monorepo }
"dns-resolver" { ?monorepo } "dns-resolver" { ?monorepo }
"dns-server" { ?monorepo } "dns-server" { ?monorepo }
"dns-stub" { ?monorepo } "dns-stub" { ?monorepo & >= "6.4.0" }
"dns-tsig" { ?monorepo } "dns-tsig" { ?monorepo }
"dnsvizor" { ?monorepo }
"duration" { ?monorepo & < "1.0.0" } "duration" { ?monorepo & < "1.0.0" }
"ethernet" { ?monorepo & >= "3.0.0" } "ethernet" { ?monorepo & >= "3.0.0" }
"logs" { ?monorepo } "logs" { ?monorepo }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"metrics" { ?monorepo } "metrics" { ?monorepo }
"mirage" { build & >= "4.8.1" & < "4.9.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-runtime" { ?monorepo & >= "4.5.0" & >= "4.8.1" & < "4.9.0" } "mirage-runtime" { ?monorepo & >= "4.5.0" & >= "4.7.0" & < "4.8.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"solo5" { build & >= "0.7.5" & < "0.10.0" } "solo5" { build & >= "0.7.5" & < "0.9.0" }
"tcpip" { ?monorepo & >= "7.0.0" } "tcpip" { ?monorepo & >= "7.0.0" }
] ]
x-mirage-opam-lock-location: "mirage/mirage/dnsvizor-hvt.opam.locked" x-mirage-opam-lock-location: "dns-and-dhcp/mirage/dnsvizor-hvt.opam.locked"
x-mirage-configure: ["sh" "-exc" "cd mirage/ && mirage configure -t hvt --context ./mirage/context --no-extra-repo"] x-mirage-configure: ["sh" "-exc" "cd dns-and-dhcp/ && mirage configure -t hvt --context ./mirage/context --no-extra-repo"]
x-mirage-pre-build: [make "-Cmirage/" "lock" "depext-lockfile" "pull"] x-mirage-pre-build: [make "-Cdns-and-dhcp/" "lock" "depext-lockfile" "pull"]
x-mirage-extra-repo: [ x-mirage-extra-repo: [
["opam-overlays" "https://github.com/dune-universe/opam-overlays.git"] ["opam-overlays" "https://github.com/dune-universe/opam-overlays.git"]
@ -63,4 +61,4 @@ x-mirage-extra-repo: [
x-opam-monorepo-opam-provided: ["mirage" "ocaml-solo5" "opam-monorepo" "solo5"] x-opam-monorepo-opam-provided: ["mirage" "ocaml-solo5" "opam-monorepo" "solo5"]
url { src: "git+https://github.com/robur-coop/dnsvizor.git#main" } url { src: "git+https://github.com/robur-coop/dnsvizor.git" }

8
packages/mirage-unikernel-hello-hvt.0.0.2/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -19,11 +19,11 @@ install: [
depends: [ depends: [
"duration" { ?monorepo & < "1.0.0" } "duration" { ?monorepo & < "1.0.0" }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" }
"mirage-runtime" { ?monorepo & >= "4.8.0" & < "4.9.0" } "mirage-runtime" { ?monorepo & >= "4.7.0" & < "4.8.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }
@ -44,4 +44,4 @@ x-mirage-extra-repo: [
x-opam-monorepo-opam-provided: ["mirage" "ocaml-solo5" "opam-monorepo" "solo5"] x-opam-monorepo-opam-provided: ["mirage" "ocaml-solo5" "opam-monorepo" "solo5"]
url { src: "git+https://github.com/mirage/mirage-skeleton.git" } url { src: "git+https://github.com/mirage/mirage-skeleton.git#main" }

30
packages/mirage-unikernel-miragevpn_qubes-xen.0.0.1/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.5.1 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -6,15 +6,18 @@ authors: "dummy"
homepage: "dummy" homepage: "dummy"
bug-reports: "dummy" bug-reports: "dummy"
dev-repo: "git://dummy" dev-repo: "git://dummy"
synopsis: "An OpenVPN-compatible unikernel for QubesOS" synopsis: "Unikernel qubes-miragevpn - switch dependencies"
description: """
It assumes that local dependencies are already
fetched.
"""
build: [make "build"] build: [make "build"]
install: [ install: [
[ "cp" "dist/qubes-miragevpn.xen" "%{bin}%/qubes-miragevpn.xen" ] [ "cp" "dist/qubes-miragevpn.xen" "%{bin}%/qubes-miragevpn.xen" ]
[ "strip" "%{bin}%/qubes-miragevpn.xen" ] [ "cp" "dist/qubes-miragevpn.xl" "%{etc}%" ]
[ "cp" "dist/qubes-miragevpn.xen" "%{prefix}%/qubes-miragevpn.xen.debug" ] [ "cp" "dist/qubes-miragevpn.xl.in" "%{etc}%" ]
[ "cp" "README.md" "%{prefix}%/README.md" ]
] ]
depends: [ depends: [
@ -23,18 +26,17 @@ depends: [
"ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" } "ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"ipaddr" { ?monorepo } "ipaddr" { ?monorepo }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"mirage" { build & >= "4.6.0" & < "4.7.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-block-xen" { ?monorepo & >= "2.1.0" & < "3.0.0" } "mirage-block-xen" { ?monorepo & >= "2.1.0" & < "3.0.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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.12.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" }
"mirage-nat" { ?monorepo & >= "3.0.0" } "mirage-nat" { ?monorepo & >= "3.0.0" }
"mirage-net-xen" { ?monorepo & >= "2.1.0" & >= "2.1.3" & < "3.0.0" } "mirage-net-xen" { ?monorepo & >= "2.1.0" & >= "2.1.3" & < "3.0.0" }
"mirage-qubes" { ?monorepo & >= "0.9.0" & >= "0.9.1" & < "0.10.0" } "mirage-qubes" { ?monorepo & >= "0.9.1" & >= "1.0.0" & < "2.0.0" }
"mirage-qubes-ipv4" { ?monorepo & >= "0.9.0" & < "0.10.0" } "mirage-qubes-ipv4" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" } "mirage-runtime" { ?monorepo & >= "4.7.0" & < "4.8.0" }
"mirage-runtime" { ?monorepo & >= "4.6.0" & < "4.7.0" }
"mirage-time" { ?monorepo } "mirage-time" { ?monorepo }
"mirage-xen" { ?monorepo & >= "8.0.0" & < "9.0.0" } "mirage-xen" { ?monorepo & >= "8.0.0" & < "9.0.0" }
"miragevpn" { ?monorepo } "miragevpn" { ?monorepo }
@ -42,8 +44,8 @@ depends: [
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"shared-memory-ring" { ?monorepo & >= "3.0.0" } "shared-memory-ring" { ?monorepo & >= "3.0.0" }
"solo5" { build & >= "0.7.5" & < "0.9.0" } "solo5" { build & >= "0.7.5" & < "0.9.0" }
"tar-mirage" { ?monorepo & >= "1.0.0" & < "3.0.0" } "tar-mirage" { ?monorepo & >= "1.0.0" & < "4.0.0" }
"tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "8.2.0" & < "9.0.0" }
"vchan" { ?monorepo & >= "4.0.2" } "vchan" { ?monorepo & >= "4.0.2" }
] ]
@ -60,4 +62,4 @@ x-mirage-extra-repo: [
x-opam-monorepo-opam-provided: ["mirage" "ocaml-solo5" "opam-monorepo" "solo5"] x-opam-monorepo-opam-provided: ["mirage" "ocaml-solo5" "opam-monorepo" "solo5"]
url { src: "git+https://github.com/robur-coop/qubes-miragevpn.git#main" } url { src: "git+https://github.com//robur-coop/qubes-miragevpn.git#main" }

11
packages/mirage-unikernel-miragevpn_router-hvt.0.0.2/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.5.1
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -24,24 +24,25 @@ depends: [
"logs" { ?monorepo } "logs" { ?monorepo }
"logs-syslog" { ?monorepo & >= "0.4.0" } "logs-syslog" { ?monorepo & >= "0.4.0" }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.6.0" & < "4.7.0" }
"mirage-block-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-block-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-kv" { ?monorepo } "mirage-kv" { ?monorepo }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" }
"mirage-monitoring" { ?monorepo } "mirage-monitoring" { ?monorepo }
"mirage-nat" { ?monorepo & >= "3.0.0" } "mirage-nat" { ?monorepo & >= "3.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-runtime" { ?monorepo & >= "4.8.0" & < "4.9.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-runtime" { ?monorepo & >= "3.8.0" & >= "4.6.0" & < "4.7.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 }
"miragevpn" { ?monorepo } "miragevpn" { ?monorepo }
"ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"solo5" { build & >= "0.7.5" & < "0.9.0" } "solo5" { build & >= "0.7.5" & < "0.9.0" }
"tcpip" { ?monorepo & >= "8.2.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" }
] ]
x-mirage-opam-lock-location: "mirage-router/mirage/ovpn-router-hvt.opam.locked" x-mirage-opam-lock-location: "mirage-router/mirage/ovpn-router-hvt.opam.locked"

11
packages/mirage-unikernel-miragevpn_server-hvt.0.0.1/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.5.1
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -25,23 +25,24 @@ depends: [
"ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" } "ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"logs" { ?monorepo } "logs" { ?monorepo }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.6.0" & < "4.7.0" }
"mirage-block-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-block-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-kv" { ?monorepo } "mirage-kv" { ?monorepo }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" }
"mirage-nat" { ?monorepo } "mirage-nat" { ?monorepo }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-runtime" { ?monorepo & >= "4.8.0" & < "4.9.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-runtime" { ?monorepo & >= "4.6.0" & < "4.7.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 }
"miragevpn" { ?monorepo } "miragevpn" { ?monorepo }
"ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"solo5" { build & >= "0.7.5" & < "0.9.0" } "solo5" { build & >= "0.7.5" & < "0.9.0" }
"tcpip" { ?monorepo & >= "8.2.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" }
] ]
x-mirage-opam-lock-location: "mirage-server/mirage/ovpn-server-hvt.opam.locked" x-mirage-opam-lock-location: "mirage-server/mirage/ovpn-server-hvt.opam.locked"

11
packages/mirage-unikernel-mollymawk-hvt.0.0.1/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -6,7 +6,7 @@ authors: "dummy"
homepage: "dummy" homepage: "dummy"
bug-reports: "dummy" bug-reports: "dummy"
dev-repo: "git://dummy" dev-repo: "git://dummy"
synopsis: "Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel" synopsis: "Mollymawk is a web user interface and REST API for albatross"
build: [make "build"] build: [make "build"]
@ -18,7 +18,7 @@ install: [
] ]
depends: [ depends: [
"albatross" { ?monorepo & >= "2.3.0" } "albatross" { ?monorepo & >= "2.2.0" }
"arp" { ?monorepo & >= "3.0.0" & < "4.0.0" } "arp" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"crunch" { ?monorepo & build & >= "3.1.0" & < "4.0.0" } "crunch" { ?monorepo & build & >= "3.1.0" & < "4.0.0" }
"duration" { ?monorepo & < "1.0.0" } "duration" { ?monorepo & < "1.0.0" }
@ -26,7 +26,7 @@ depends: [
"ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" } "ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"logs" { ?monorepo } "logs" { ?monorepo }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-block-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-block-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
@ -35,12 +35,11 @@ depends: [
"mirage-kv-mem" { ?monorepo & >= "3.0.0" & < "4.0.0" } "mirage-kv-mem" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-runtime" { ?monorepo & >= "4.8.0" & < "4.9.0" } "mirage-runtime" { ?monorepo & >= "4.7.0" & < "4.8.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 }
"multipart_form" { ?monorepo } "multipart_form" { ?monorepo }
"ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }
"ohex" { ?monorepo & >= "0.2.0" }
"oneffs" { ?monorepo } "oneffs" { ?monorepo }
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"paf" { ?monorepo & >= "0.5.0" } "paf" { ?monorepo & >= "0.5.0" }

38
packages/mirage-unikernel-opam-mirror-hvt.0.0.1/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.1 # Generated by mirage.v4.5.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -19,45 +19,41 @@ install: [
depends: [ depends: [
"arp" { ?monorepo & >= "3.0.0" & < "4.0.0" } "arp" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"cmdliner-stdlib" { ?monorepo & >= "1.0.1" & < "2.0.0" } "dns-client-mirage" { ?monorepo & >= "7.0.0" & < "8.0.0" }
"digestif" { ?monorepo }
"dns-client-mirage" { ?monorepo & >= "9.0.0" & < "10.0.0" }
"duration" { ?monorepo & < "1.0.0" } "duration" { ?monorepo & < "1.0.0" }
"ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" } "ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"git-kv" { ?monorepo & >= "0.0.5" } "git-kv" { ?monorepo }
"git-mirage" { ?monorepo & >= "3.10.0" & >= "3.13.0" & < "3.18.0" } "git-mirage" { ?monorepo & >= "3.10.0" & < "3.16.0" }
"git-paf" { ?monorepo & >= "3.10.0" } "git-paf" { ?monorepo & >= "3.10.0" }
"gpt" { ?monorepo }
"gptar" { ?monorepo }
"h2" { ?monorepo } "h2" { ?monorepo }
"happy-eyeballs-mirage" { ?monorepo & >= "1.2.0" & < "2.0.0" } "happy-eyeballs-mirage" { ?monorepo & >= "0.6.0" & < "1.0.0" }
"http-mirage-client" { ?monorepo & >= "0.0.1" & >= "0.0.8" & < "0.1.0" } "hex" { ?monorepo }
"http-mirage-client" { ?monorepo & >= "0.0.1" & < "0.1.0" }
"httpaf" { ?monorepo } "httpaf" { ?monorepo }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"mimic" { ?monorepo } "mimic" { ?monorepo }
"mimic-happy-eyeballs" { ?monorepo & >= "0.0.9" } "mimic-happy-eyeballs" { ?monorepo & >= "0.0.5" }
"mirage" { build & >= "4.8.1" & < "4.9.0" } "mirage" { build & >= "4.5.0" & < "4.6.0" }
"mirage-block-partition" { ?monorepo & < "0.2.0" } "mirage-block-partition" { ?monorepo & < "0.2.0" }
"mirage-block-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-block-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "0.8.0" & < "0.12.0" }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-runtime" { ?monorepo & >= "4.8.1" & < "4.9.0" } "mirage-random" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"mirage-runtime" { ?monorepo & >= "4.5.0" & < "4.6.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }
"ohex" { ?monorepo }
"oneffs" { ?monorepo } "oneffs" { ?monorepo }
"opam-file-format" { ?monorepo } "opam-file-format" { ?monorepo }
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"paf" { ?monorepo & >= "0.3.0" } "paf" { ?monorepo & >= "0.3.0" }
"solo5" { build & >= "0.7.5" & < "0.10.0" } "solo5" { build & >= "0.7.5" & < "0.9.0" }
"swapfs" { ?monorepo } "tar" { ?monorepo & >= "2.2.0" }
"tar" { ?monorepo & >= "3.0.0" } "tar-mirage" { ?monorepo & >= "2.2.0" }
"tar-mirage" { ?monorepo & >= "3.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & >= "7.1.0" & < "9.0.0" }
"tcpip" { ?monorepo & >= "8.2.0" & < "9.0.0" }
] ]
x-mirage-opam-lock-location: "mirage/mirage/mirror-hvt.opam.locked" x-mirage-opam-lock-location: "mirage/mirage/mirror-hvt.opam.locked"

10
packages/mirage-unikernel-retreat-hvt.0.0.2/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -6,7 +6,7 @@ authors: "dummy"
homepage: "dummy" homepage: "dummy"
bug-reports: "dummy" bug-reports: "dummy"
dev-repo: "git://dummy" dev-repo: "git://dummy"
synopsis: "The unikernel serving https://retreat.mirageos.org with metrics reported to influx" synopsis: "The unikernel serving https://retreat.mirage.io with metrics reported to influx"
build: [make "build"] build: [make "build"]
@ -26,14 +26,14 @@ depends: [
"logs" { ?monorepo } "logs" { ?monorepo }
"logs-syslog" { ?monorepo & >= "0.4.0" } "logs-syslog" { ?monorepo & >= "0.4.0" }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.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-runtime" { ?monorepo & >= "4.5.0" & >= "4.8.0" & < "4.9.0" } "mirage-runtime" { ?monorepo & >= "4.5.0" & >= "4.7.0" & < "4.8.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }
@ -57,4 +57,4 @@ x-mirage-extra-repo: [
x-opam-monorepo-opam-provided: ["mirage" "ocaml-solo5" "opam-monorepo" "solo5"] x-opam-monorepo-opam-provided: ["mirage" "ocaml-solo5" "opam-monorepo" "solo5"]
url { src: "git+https://github.com/mirage/retreat-website.git" } url { src: "git+https://github.com/mirage/retreat.mirage.io.git" }

6
packages/mirage-unikernel-static-website-hvt.0.0.2/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -25,14 +25,14 @@ depends: [
"ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" } "ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"magic-mime" { ?monorepo } "magic-mime" { ?monorepo }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "1.0.0" & < "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 & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-runtime" { ?monorepo & >= "4.8.0" & < "4.9.0" } "mirage-runtime" { ?monorepo & >= "4.7.0" & < "4.8.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }

6
packages/mirage-unikernel-tlstunnel-hvt.0.0.2/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -25,14 +25,14 @@ depends: [
"ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" } "ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"metrics" { ?monorepo } "metrics" { ?monorepo }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-block-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-block-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-runtime" { ?monorepo & >= "4.5.0" & >= "4.8.0" & < "4.9.0" } "mirage-runtime" { ?monorepo & >= "4.5.0" & >= "4.7.0" & < "4.8.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }

6
packages/mirage-unikernel-tlstunnel-monitoring-hvt.0.0.2/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -26,7 +26,7 @@ depends: [
"logs-syslog" { ?monorepo & >= "0.4.0" } "logs-syslog" { ?monorepo & >= "0.4.0" }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"metrics" { ?monorepo } "metrics" { ?monorepo }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-block-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-block-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" } "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
@ -34,7 +34,7 @@ depends: [
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.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-runtime" { ?monorepo & >= "4.5.0" & >= "4.8.0" & < "4.9.0" } "mirage-runtime" { ?monorepo & >= "4.5.0" & >= "4.7.0" & < "4.8.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }

6
packages/mirage-unikernel-traceroute-hvt.0.0.2/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -22,13 +22,13 @@ depends: [
"duration" { ?monorepo & < "1.0.0" } "duration" { ?monorepo & < "1.0.0" }
"ethernet" { ?monorepo & >= "3.0.0" } "ethernet" { ?monorepo & >= "3.0.0" }
"lwt" { ?monorepo } "lwt" { ?monorepo }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-runtime" { ?monorepo & >= "4.5.0" & >= "4.8.0" & < "4.9.0" } "mirage-runtime" { ?monorepo & >= "4.5.0" & >= "4.7.0" & < "4.8.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 }

6
packages/mirage-unikernel-unipi-hvt.0.0.2/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -37,13 +37,13 @@ depends: [
"magic-mime" { ?monorepo & >= "1.3.0" } "magic-mime" { ?monorepo & >= "1.3.0" }
"mimic" { ?monorepo } "mimic" { ?monorepo }
"mimic-happy-eyeballs" { ?monorepo & >= "0.0.9" } "mimic-happy-eyeballs" { ?monorepo & >= "0.0.9" }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" }
"mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" } "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
"mirage-runtime" { ?monorepo & >= "4.8.0" & < "4.9.0" } "mirage-runtime" { ?monorepo & >= "4.7.0" & < "4.8.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }

6
packages/mirage-unikernel-unipi-monitoring-hvt.0.0.2/opam vendored
View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.8.0 # Generated by mirage.v4.7.0
opam-version: "2.0" opam-version: "2.0"
maintainer: "dummy" maintainer: "dummy"
@ -38,14 +38,14 @@ depends: [
"magic-mime" { ?monorepo & >= "1.3.0" } "magic-mime" { ?monorepo & >= "1.3.0" }
"mimic" { ?monorepo } "mimic" { ?monorepo }
"mimic-happy-eyeballs" { ?monorepo & >= "0.0.9" } "mimic-happy-eyeballs" { ?monorepo & >= "0.0.9" }
"mirage" { build & >= "4.8.0" & < "4.9.0" } "mirage" { build & >= "4.7.0" & < "4.8.0" }
"mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" } "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.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 & >= "1.0.0" & < "2.0.0" } "mirage-crypto-rng-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" }
"mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" } "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.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-runtime" { ?monorepo & >= "4.8.0" & < "4.9.0" } "mirage-runtime" { ?monorepo & >= "4.7.0" & < "4.8.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-solo5" { build & >= "0.8.2" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }

2
packages/solo5-tenders.0.9.0/files/packaging/FreeBSD/MANIFEST → packages/solo5-tenders.0.8.1/files/packaging/FreeBSD/MANIFEST vendored
View file

@ -1,5 +1,5 @@
name: solo5 name: solo5
version: 0.9.0 version: 0.8.1
origin: local/solo5 origin: local/solo5
comment: Solo5 tenders comment: Solo5 tenders
www: https://github.com/Solo5/solo5 www: https://github.com/Solo5/solo5

0
packages/solo5-tenders.0.9.0/files/packaging/FreeBSD/create_package.sh → packages/solo5-tenders.0.8.1/files/packaging/FreeBSD/create_package.sh vendored
View file

2
packages/solo5-tenders.0.9.0/files/packaging/debian/changelog → packages/solo5-tenders.0.8.1/files/packaging/debian/changelog vendored
View file

@ -1,4 +1,4 @@
solo5 (0.9.0) unstable; urgency=medium solo5 (0.8.1) unstable; urgency=medium
* Initial release * Initial release

2
packages/solo5-tenders.0.9.0/files/packaging/debian/control → packages/solo5-tenders.0.8.1/files/packaging/debian/control vendored
View file

@ -1,5 +1,5 @@
Package: solo5 Package: solo5
Version: 0.9.0 Version: 0.8.1
Section: unknown Section: unknown
Priority: optional Priority: optional
Maintainer: Robur Team <team@robur.coop> Maintainer: Robur Team <team@robur.coop>

0
packages/solo5-tenders.0.9.0/files/packaging/debian/copyright → packages/solo5-tenders.0.8.1/files/packaging/debian/copyright vendored
View file

0
packages/solo5-tenders.0.9.0/files/packaging/debian/create_package.sh → packages/solo5-tenders.0.8.1/files/packaging/debian/create_package.sh vendored
View file

10
packages/solo5-tenders.0.9.0/opam → packages/solo5-tenders.0.8.1/opam vendored
View file

@ -52,14 +52,14 @@ This package provides the Solo5 components needed to run MirageOS
unikernels on the host system. unikernels on the host system.
""" """
url { url {
src: "https://github.com/Solo5/solo5/releases/download/v0.9.0/solo5-v0.9.0.tar.gz" src: "https://github.com/Solo5/solo5/releases/download/v0.8.1/solo5-v0.8.1.tar.gz"
checksum: "sha512=a3693a70efb576f3fc3332a98712766d946b726dd0963cb9629701b8a7d1e6c7f5f456cf9c2916c4b5c72f829989737710f12ea86a4318cecb33d9ffda62d5fb" checksum: "sha512=83d7f1e1a9a9b99029d692c03bf7d61e23945f00e6af074556fe877117c1bdaffbc4e2faf993ace96ab123e82db22bd33c60129878d4a3b4c70406aa937048c9"
} }
extra-files: [ extra-files: [
["packaging/FreeBSD/MANIFEST" "sha256=47fd37e1c02926c1d2a7a9df10c3977f5e9474133c946fb90181892d493006e0"] ["packaging/FreeBSD/MANIFEST" "sha256=9cbfb3001fec0851f4bcf2685f883bff5531ee68b8d42ef8c81c0aa8e7fd8d4d"]
["packaging/FreeBSD/create_package.sh" "sha256=562fe1c663e8edf4da8165b0b7a1c8a0a69cf9e9f84b3c79725c6e8ff514e7c2"] ["packaging/FreeBSD/create_package.sh" "sha256=562fe1c663e8edf4da8165b0b7a1c8a0a69cf9e9f84b3c79725c6e8ff514e7c2"]
["packaging/debian/changelog" "sha256=f4fd0f65d13e504e17dbdee98672da77a72e0900a1fef6e955003dcfa7956f07"] ["packaging/debian/changelog" "sha256=16245cc7d211d98c97f1b0eeb51bb14a77907e1e50fdb20566d63e1c10afa673"]
["packaging/debian/control" "sha256=b92f20fb1f1355fc3fff0d347158f6cb496b66b27dcf3507f399ae9e53186a19"] ["packaging/debian/control" "sha256=6ee997e8aedb65960652b756340e546aa168101c06c50ae4fcc6d30221b77680"]
["packaging/debian/copyright" "sha256=de076b8c087799fc58be45396bf4778180faface9c1cc3ceaa9ddaed8a583abe"] ["packaging/debian/copyright" "sha256=de076b8c087799fc58be45396bf4778180faface9c1cc3ceaa9ddaed8a583abe"]
["packaging/debian/create_package.sh" "sha256=0df2e46c6f2d71f2714d42d1bcd0df89bc4a7ccb555310ee3a5311099dbf65d0"] ["packaging/debian/create_package.sh" "sha256=0df2e46c6f2d71f2714d42d1bcd0df89bc4a7ccb555310ee3a5311099dbf65d0"]
] ]