Bug#876533: hol-light FTBFS with OCaml 4.05.0

To: Ximin Luo <infinity0@debian.org>
Cc: 876533@bugs.debian.org, debian-ocaml-maint@lists.debian.org
Subject: Bug#876533: hol-light FTBFS with OCaml 4.05.0
From: Hendrik Tews <hendrik@askra.de>
Date: Mon, 30 Oct 2017 10:52:10 +0100
Message-id: <[🔎] 87efplrmid.fsf@cert.kernkonzept.com>
Reply-to: Hendrik Tews <hendrik@askra.de>, 876533@bugs.debian.org
In-reply-to: <[🔎] c6496867-e597-89ed-20ac-404598a0b571@debian.org> (Ximin Luo's message of "Mon, 30 Oct 2017 07:31:00 +0000")
References: <150616689874.9249.12183650459000828921.reportbug@localhost> <[🔎] 878tgqafyz.fsf@elite.askra.de> <[🔎] c6496867-e597-89ed-20ac-404598a0b571@debian.org> <150616689874.9249.12183650459000828921.reportbug@localhost>

> 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

Reply to:

References:
- Bug#876533: hol-light FTBFS with OCaml 4.05.0
  - From: Hendrik Tews <hendrik@askra.de>
- Bug#876533: hol-light FTBFS with OCaml 4.05.0
  - From: Ximin Luo <infinity0@debian.org>

Prev by Date: Bug#878462: marked as done (unison FTBFS: Error: The implementation /build/1st/unison-2.48.3/system.ml does not match the interface system.cmi)
Next by Date: Processing of unison_2.48.4-1_amd64.changes
Previous by thread: Bug#876533: hol-light FTBFS with OCaml 4.05.0
Next by thread: Bug#877128: marked as done (cudf: missing B-D: ocamlbuild)
Index(es):
- Date
- Thread