On 24/10/16 19:19, Jasmin Blanchette wrote:
>
>> Are there any non-trivial chunks still in the commit/push pipeline that
>> need special considerations?
>
> I was hoping to push Nunchaku into Isabelle (source code + binary component)
> before the release, but we have some issues with ocamlbuild
Hi Makarius,
> Are there any non-trivial chunks still in the commit/push pipeline that
> need special considerations?
I was hoping to push Nunchaku into Isabelle (source code + binary component)
before the release, but we have some issues with ocamlbuild on Windows.
Would it make sense to push