> Hi Hendrik, any progress on this? I notice in the ocaml transition tracker:
I really spend more than 4 weeks in discussions with upstream about license and copyright clarifications. Now it is finished. I uploaded a new hol-light version to DOM git yesterday. Please review and upload. If you think I fulfill the conditions for directly uploading hol-light, I would appreciate, if somebody could execute dcut dm --uid "Hendrik Tews" --allow hol-light Bye, Hendrik