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

To: Debian Ocaml Maint ML <debian-ocaml-maint@lists.debian.org>
Cc: Dmitrijs Ledkovs <xnox@debian.org>
Subject: Re: Preparation of the transition to OCaml 4.05.0: status update
From: Hendrik Tews <hendrik@askra.de>
Date: Wed, 02 Aug 2017 23:19:08 +0200
Message-id: <[🔎] 874ltp8y7n.fsf@elite.askra.de>
In-reply-to: <[🔎] 878tj190l3.fsf@elite.askra.de> (Hendrik Tews's message of "Wed, 02 Aug 2017 22:27:52 +0200")
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>

Hi,

I pushed a new hol-light version with a minimal patch to fix the
build problem. Please review and upload.

Hendrik

Reply to:

Follow-Ups:
- Re: Preparation of the transition to OCaml 4.05.0: status update
  - From: Dimitri John Ledkov <xnox@debian.org>

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>