From 52d5f6f00356135c44713d2cbe18c4255b636562 Mon Sep 17 00:00:00 2001 From: David Scott Date: Wed, 9 Sep 2015 09:26:59 +0100 Subject: [PATCH] Regenerate OASIS Signed-off-by: David Scott --- setup.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/setup.ml b/setup.ml index 3f2496a..71b8c4b 100644 --- a/setup.ml +++ b/setup.ml @@ -1,7 +1,7 @@ (* setup.ml generated for the first time by OASIS v0.4.4 *) (* OASIS_START *) -(* DO NOT EDIT (digest: 0b689dc116757cf64e9d95efb33fad4b) *) +(* DO NOT EDIT (digest: 6e05f558fd7802dd2977df4eed3963a3) *) (* Regenerated by OASIS v0.4.5 Visit http://oasis.forge.ocamlcore.org for more information and @@ -6673,7 +6673,7 @@ let setup_t = alpha_features = []; beta_features = []; name = "xapi-storage-script"; - version = "0.7"; + version = "0.12.0"; license = OASISLicense.DEP5License (OASISLicense.DEP5Unit @@ -6773,7 +6773,7 @@ let setup_t = }; oasis_fn = Some "_oasis"; oasis_version = "0.4.5"; - oasis_digest = Some "m\005®\1344T_N\157$\153¹\023w\132\031"; + oasis_digest = Some "\015ѺvÀÙ|_\019ÿ\138 p\ri\022"; oasis_exec = None; oasis_setup_args = []; setup_update = false