Skip to content

Commit

Permalink
Regenerate OASIS
Browse files Browse the repository at this point in the history
Signed-off-by: David Scott <[email protected]>
  • Loading branch information
djs55 committed Sep 9, 2015
1 parent 777854a commit 52d5f6f
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions setup.ml
Original file line number Diff line number Diff line change
@@ -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
Expand Down Expand Up @@ -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
Expand Down Expand Up @@ -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
Expand Down

0 comments on commit 52d5f6f

Please sign in to comment.