Hi Hendrik,
On 2017-10-09 13:51, Hendrik Tews wrote:
Stéphane,
I now and then look at the OCaml transition page, but, from what
I see there, I am not able to derive if and how I could help
(apart from working on hol-light - which I am doing in the
background). Maybe you want to share some bits on how to
contribute?
Looking at the transition page, you may identify packages failing
to build in level N blocking others packages from levels >N. Those
are the ones one should focus on and try to fix.
There are also many RC-bugs submitted recently. Any help with those
is also welcome (triaging, providing patches or hints on how to resolve
them).
Hope this helps,
--
Mehdi
