Xavier Leroy

The [OpenHub page for OCaml](https://www.openhub.net/p/ocaml) hasn't been updated in more than one year, and lists the license as MIT... The service worked well back in the days it was called...

I'm catching up on this discussion. I still think a first step would be to inform packagers of the existence of the "License" field (I didn't know about it until...

Apologies for the late reply. The short answer is that I cannot commit on maintaining coq2html unless the Coq development team commits on documenting the format of .glob files and...

> Notwithstanding the documentation issue, which is important, what about adding coq2html to the Coq's CI so that Coq developers fix it if they break it? Possibly. But I'm not...

@johnwhitington reported the problem with ill-formed ZIP streams to me a while ago (https://github.com/xavierleroy/camlzip/commit/20a0ae2908516f7df19d800aabb452f817824135#commitcomment-45177837), and I agree it would be nice to handle it inside camlzip, but I'm still not...

One more general comment: there is a balance to be found between a self-contained library or application that builds reliably all the time but doesn't play nice with other libraries,...

Once again, de Bruijn indices save the day :-)

To be able to use the Unix and Threads library, `-I stdlib` is not enough, you also need `-I otherlibs/unix -I otherlibs/systhreads`. A script in `tools/` is probably preferable to...

I'm not sure what you're trying to achieve. For quite a while, gcc has been able to check `switch` statements based on the presence of `/* fallthrough */` comments, plus...

Ping? Who would be good reviewers for this PR?