Skip to content

Commit 6d31221

Browse files
committed
Regenerate OASIS
Signed-off-by: David Scott <dave@recoil.org>
1 parent e40ea6b commit 6d31221

2 files changed

Lines changed: 5 additions & 5 deletions

File tree

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: 91cd2c972a66add946acf865b0aacb91)
3-
version = "1.0"
2+
# DO NOT EDIT (digest: e0e2adcd87cbfc650e00fb9595e79124)
3+
version = "0.3"
44
description = "Helper functions for processing backtraces"
55
requires = "threads sexplib sexplib.syntax rpclib rpclib.syntax"
66
archive(byte) = "xapi-backtrace.cma"

setup.ml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
(* setup.ml generated for the first time by OASIS v0.4.5 *)
22

33
(* OASIS_START *)
4-
(* DO NOT EDIT (digest: 04f50c50321e213a3543998d99cea1c6) *)
4+
(* DO NOT EDIT (digest: e2f362161f1da20ad19a691e75ee4ae9) *)
55
(*
66
Regenerated by OASIS v0.4.5
77
Visit http://oasis.forge.ocamlcore.org for more information and
@@ -6683,7 +6683,7 @@ let setup_t =
66836683
alpha_features = [];
66846684
beta_features = [];
66856685
name = "xapi-backtrace";
6686-
version = "1.0";
6686+
version = "0.3";
66876687
license =
66886688
OASISLicense.DEP5License
66896689
(OASISLicense.DEP5Unit
@@ -6810,7 +6810,7 @@ let setup_t =
68106810
};
68116811
oasis_fn = Some "_oasis";
68126812
oasis_version = "0.4.5";
6813-
oasis_digest = Some "`\204\132\199G|o$\211p\140\142-\195g;";
6813+
oasis_digest = Some "^Y½x\027Y¯÷\150;è!&1\b÷";
68146814
oasis_exec = None;
68156815
oasis_setup_args = [];
68166816
setup_update = false

0 commit comments

Comments
 (0)