oasis files

This commit is contained in:
Simon Cruanes 2014-06-25 03:29:52 +02:00
parent 42fd04b244
commit 4c613e5857
4 changed files with 11 additions and 7 deletions

View file

@ -1,5 +1,5 @@
# OASIS_START
# DO NOT EDIT (digest: 71885759eab42ad3dd73d2ce208fd28b)
# DO NOT EDIT (digest: a52e8eee77cd96d96e004a2de941d978)
core/CCVector
core/CCDeque
core/CCGen
@ -25,6 +25,7 @@ core/CCBatch
core/CCOrd
core/CCRandom
core/CCLinq
core/CCKTree
string/KMP
string/CCString
string/Levenshtein

View file

@ -1,5 +1,5 @@
# OASIS_START
# DO NOT EDIT (digest: 8d0afff73fae73db9a0364afaa57d4d2)
# DO NOT EDIT (digest: 05cc1d6bba13caf723a490805b87184c)
CCVector
CCDeque
CCGen
@ -25,4 +25,5 @@ CCBatch
CCOrd
CCRandom
CCLinq
CCKTree
# OASIS_STOP

View file

@ -1,5 +1,5 @@
# OASIS_START
# DO NOT EDIT (digest: 8d0afff73fae73db9a0364afaa57d4d2)
# DO NOT EDIT (digest: 05cc1d6bba13caf723a490805b87184c)
CCVector
CCDeque
CCGen
@ -25,4 +25,5 @@ CCBatch
CCOrd
CCRandom
CCLinq
CCKTree
# OASIS_STOP

View file

@ -1,7 +1,7 @@
(* setup.ml generated for the first time by OASIS v0.4.4 *)
(* OASIS_START *)
(* DO NOT EDIT (digest: e9f5fdc049b9e92ec4196c6ae1642243) *)
(* DO NOT EDIT (digest: 256b2892d142e42196867db22bbc71be) *)
(*
Regenerated by OASIS v0.4.4
Visit http://oasis.forge.ocamlcore.org for more information and
@ -7019,7 +7019,8 @@ let setup_t =
"CCBatch";
"CCOrd";
"CCRandom";
"CCLinq"
"CCLinq";
"CCKTree"
];
lib_pack = false;
lib_internal_modules = [];
@ -7734,7 +7735,7 @@ let setup_t =
};
oasis_fn = Some "_oasis";
oasis_version = "0.4.4";
oasis_digest = Some "\017\130L\20257\216\2367yE\018q\163z<";
oasis_digest = Some "z\241\133\139\168\2444\199nf\239k+\183l\007";
oasis_exec = None;
oasis_setup_args = [];
setup_update = false
@ -7742,6 +7743,6 @@ let setup_t =
let setup () = BaseSetup.setup setup_t;;
# 7746 "setup.ml"
# 7747 "setup.ml"
(* OASIS_STOP *)
let () = setup ();;