Permalink
c23526a Mar 25, 2014
13 lines (7 sloc) 208 Bytes
(* OASIS_START *)
(* DO NOT EDIT (digest: 42d3c82e95c25b7f485d1a22832dc8cd) *)
Authors of oasis:
* Sylvain Le Gall
Current maintainers of oasis:
* Sylvain Le Gall <gildor@ocamlcore.org>
(* OASIS_STOP *)