this repo has no description

Merge pull request #18754 from kit-ty-kate/fix-2

mirage-xen-minios: Fix installation under the sandbox (installation target is called make build)

Kate 46568197 a92858f7

Changed files
+8 -8
packages
mirage-xen-minios
mirage-xen-minios.0.2
mirage-xen-minios.0.3
mirage-xen-minios.0.4
mirage-xen-minios.0.4.1
mirage-xen-minios.0.4.2
mirage-xen-minios.0.5.0
mirage-xen-minios.0.6.0
mirage-xen-minios.0.7.0
+1 -1
packages/mirage-xen-minios/mirage-xen-minios.0.2/opam
···
tags: [
"org:mirage"
]
-
build: [
+
install: [
[make "build"]
]
synopsis: "Xen MiniOS guest operating system library"
+1 -1
packages/mirage-xen-minios/mirage-xen-minios.0.3/opam
···
tags: [
"org:mirage"
]
-
build: [
+
install: [
[make "build"]
]
synopsis: "Xen MiniOS guest operating system library"
+1 -1
packages/mirage-xen-minios/mirage-xen-minios.0.4.1/opam
···
tags: [
"org:mirage"
]
-
build: [
+
install: [
[make "build"]
]
synopsis: "Xen MiniOS guest operating system library"
+1 -1
packages/mirage-xen-minios/mirage-xen-minios.0.4.2/opam
···
tags: [
"org:mirage"
]
-
build: [
+
install: [
[make "build"]
]
synopsis: "Xen MiniOS guest operating system library"
+1 -1
packages/mirage-xen-minios/mirage-xen-minios.0.4/opam
···
tags: [
"org:mirage"
]
-
build: [
+
install: [
[make "build"]
]
synopsis: "Xen MiniOS guest operating system library"
+1 -1
packages/mirage-xen-minios/mirage-xen-minios.0.5.0/opam
···
tags: [
"org:mirage"
]
-
build: [
+
install: [
[make "build"]
]
synopsis: "Xen MiniOS guest operating system library"
+1 -1
packages/mirage-xen-minios/mirage-xen-minios.0.6.0/opam
···
tags: [
"org:mirage"
]
-
build: [
+
install: [
[make "build"]
]
synopsis: "Xen MiniOS guest operating system library"
+1 -1
packages/mirage-xen-minios/mirage-xen-minios.0.7.0/opam
···
tags: [
"org:mirage"
]
-
build: [
+
install: [
[make "build"]
]
depends: [