On 2 August 2017 at 22:19, Hendrik Tews <[email protected]> wrote: > Hi, > > I pushed a new hol-light version with a minimal patch to fix the > build problem. Please review and upload. > > Hendrik
Oooh, this sounds interesting. -- Regards, Dimitri.
- Re: Preparation of the transition to OCaml 4.05.0... Stéphane Glondu
- Re: Preparation of the transition to OCaml 4.... Eric Cooper
- Re: Preparation of the transition to OCam... Ralf Treinen
- Re: Preparation of the transition to ... Johannes Schauer
- Build-Depends on ocamlbuild (was: Pre... Eric Cooper
- Re: Build-Depends on ocamlbuild ... Ralf Treinen
- Re: Preparation of the transition to OCaml 4.05.0: sta... Ximin Luo
- Re: Preparation of the transition to OCaml 4.05.0... Stéphane Glondu
- Re: Preparation of the transition to OCaml 4.... Hendrik Tews
- Re: Preparation of the transition to OCam... Hendrik Tews
- Re: Preparation of the transition to ... Dimitri John Ledkov
- Re: Preparation of the transition to OCaml 4.... Stéphane Glondu
