(* OASIS_START *)
(* DO NOT EDIT (digest: 8b50d3b615117789414f2ad56e4f9d35) *)

Authors of OcLaunch:

* Joly Clément <leowzukw@vmail.me>

Current maintainers of OcLaunch:

* Joly Clément <leowzukw@vmail.me>

(* OASIS_STOP *)