Re: Preparation of the transition to OCaml 4.05.0: status update

To: Hendrik Tews <hendrik@askra.de>
Cc: Debian Ocaml Maint ML <debian-ocaml-maint@lists.debian.org>
Subject: Re: Preparation of the transition to OCaml 4.05.0: status update
From: Dimitri John Ledkov <xnox@debian.org>
Date: Thu, 3 Aug 2017 01:28:19 +0100
Message-id: <[🔎] CANBHLUiajMD0OK_ghrJFfin249jkzvVGtwb8wx31SMuhoFTRAA@mail.gmail.com>
In-reply-to: <[🔎] 874ltp8y7n.fsf@elite.askra.de>
References: <017f22a2-2cbc-def7-70c2-2b8741bf2ff5@debian.org> <[🔎] d21cfc3d-e05c-e680-f761-18112a83e245@debian.org> <[🔎] d7034684-6aa7-c479-a1e2-564d663a6efa@debian.org> <[🔎] 878tj190l3.fsf@elite.askra.de> <[🔎] 874ltp8y7n.fsf@elite.askra.de>

On 2 August 2017 at 22:19, Hendrik Tews <hendrik@askra.de> 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.

Reply to:

References:
- Re: Preparation of the transition to OCaml 4.05.0: status update
  - From: Ximin Luo <infinity0@debian.org>
- Re: Preparation of the transition to OCaml 4.05.0: status update
  - From: Stéphane Glondu <glondu@debian.org>
- Re: Preparation of the transition to OCaml 4.05.0: status update
  - From: Hendrik Tews <hendrik@askra.de>
- Re: Preparation of the transition to OCaml 4.05.0: status update
  - From: Hendrik Tews <hendrik@askra.de>

Prev by Date: Re: Preparation of the transition to OCaml 4.05.0: status update
Next by Date: Bug#868606: marked as done (hol-light FTBFS: Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala but an expression was expected of type MLast.loc * 'a)
Previous by thread: Re: Preparation of the transition to OCaml 4.05.0: status update
Next by thread: Re: Preparation of the transition to OCaml 4.05.0: status update
Index(es):
- Date
- Thread