Skip to content

Commit 0ff6d14

Browse files
authored
Merge pull request ocaml#21030 from mirage/release-mirage-xen-v7.1.0
[new release] mirage-xen (7.1.0)
2 parents dae33bd + 814c3d4 commit 0ff6d14

File tree

1 file changed

+49
-0
lines changed
  • packages/mirage-xen/mirage-xen.7.1.0

1 file changed

+49
-0
lines changed
Lines changed: 49 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,49 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
3+
authors: "The MirageOS team"
4+
homepage: "https://github.com/mirage/mirage-xen"
5+
bug-reports: "https://github.com/mirage/mirage-xen/issues/"
6+
dev-repo: "git+https://github.com/mirage/mirage-xen.git"
7+
doc: "https://mirage.github.io/mirage-xen/"
8+
license: "ISC"
9+
tags: ["org:mirage"]
10+
11+
build: [
12+
[ "dune" "subst" ] {dev}
13+
[ "dune" "build" "-p" name "-j" jobs ]
14+
]
15+
depends: [
16+
"ocaml" {>= "4.08.0"}
17+
"dune" {>= "2.7.0"}
18+
"cstruct" {>= "1.0.1"}
19+
"lwt" {>= "2.4.3"}
20+
"shared-memory-ring-lwt"
21+
"xenstore" {>= "1.2.5"}
22+
"lwt-dllist"
23+
"mirage-profile" {>= "0.3"}
24+
"io-page" {>= "2.4.0"}
25+
"mirage-runtime" {>= "4.0"}
26+
"logs"
27+
"fmt" {>= "0.8.5"}
28+
"bheap" {>= "2.0.0"}
29+
"duration"
30+
]
31+
available: [
32+
(arch = "x86_64" ) &
33+
(os = "linux" | os = "freebsd" | os = "openbsd")
34+
]
35+
synopsis: "Xen core platform libraries for MirageOS"
36+
description: """
37+
This package provides the MirageOS `OS` library for
38+
Xen targets, which handles the main loop and timers. It also provides
39+
the low level C startup code and C stubs required by the OCaml code.
40+
"""
41+
url {
42+
src:
43+
"https://github.com/mirage/mirage-xen/releases/download/v7.1.0/mirage-xen-7.1.0.tbz"
44+
checksum: [
45+
"sha256=efc88c62ed32967373761afdbb038b056e57fd40e2f68c8c87e174e59645db51"
46+
"sha512=dc92d01994cfeb5db55e8c038b6dc6058b216991f507900478ee15fb98c2f82d8bb663c1ef24b8e3ea7d4a29c6904b01f8e0a92ee8e5a5d31cc4f35e4c83544c"
47+
]
48+
}
49+
x-commit-hash: "8908c6691e4e854ae2ef58e3bf6c459690f08d7d"

0 commit comments

Comments
 (0)