Quoting Sylvain LE GALL <sylvain.le-gall@polytechnique.org>: > > What about 3ocaml as section ( i think it is possible ). I think it is > worth a try. Better: using .3o suffixes. Hence, we stay policy compliant. Cheers, -- Jérôme Marant