> And I am not sure that Ocaml has been ported to non-unix free 
> software... Does Ocaml runs on Hurd, or Syllable, or EROS?
 
OCaml 3.10.2 binary package for SyllableOS: http://web.syllable.org/pages/resources.html 
 
Regards.
-- damien