Skip to content

Commit 96beb40

Browse files
djs55jonludlam
authored andcommitted
Regenerate OASIS
Signed-off-by: David Scott <[email protected]>
1 parent 751deff commit 96beb40

File tree

6 files changed

+4362
-3402
lines changed

6 files changed

+4362
-3402
lines changed

lib/META

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# OASIS_START
2-
# DO NOT EDIT (digest: 792c2e2b61472891724e54d1e8c58521)
3-
version = "0.9.30"
2+
# DO NOT EDIT (digest: 9f9c737843b0af06ce2b079f85cde368)
3+
version = "0.9.32"
44
description = "Xen low-level bindings"
55
requires = "unix lwt bigarray"
66
archive(byte) = "xenctrl.cma"

0 commit comments

Comments
 (0)