(* OASIS_START *)
(* DO NOT EDIT (digest: ad71f10e8bf85f1525b15846752a46b9) *)

Authors of lustre-v6:

* Erwan Jahier and Pascal Raymond

Current maintainers of lustre-v6:

* erwan.jahier@imag.fr

(* OASIS_STOP *)