Ralf Treinen wrote: [snip]
And also OCaml, please? -Ralf.
What about O'Caml? I seem to recall we talked about this before with no general consensus. If we want to standardize on one name and drop the ', this is probably a good time to do that. If nothing else, it might make simple searches of the debian packages return more accurate results.
-m