Bug#876533: hol-light FTBFS with OCaml 4.05.0

To: Hendrik Tews <hendrik@askra.de>, 876533@bugs.debian.org
Subject: Bug#876533: hol-light FTBFS with OCaml 4.05.0
From: Ximin Luo <infinity0@debian.org>
Date: Mon, 30 Oct 2017 07:31:00 +0000
Message-id: <[🔎] c6496867-e597-89ed-20ac-404598a0b571@debian.org>
Reply-to: Ximin Luo <infinity0@debian.org>, 876533@bugs.debian.org
In-reply-to: <[🔎] 878tgqafyz.fsf@elite.askra.de>
References: <150616689874.9249.12183650459000828921.reportbug@localhost> <[🔎] 878tgqafyz.fsf@elite.askra.de> <150616689874.9249.12183650459000828921.reportbug@localhost>

Hendrik Tews:
> Upstream does indeed fix this problem. However, it also contains
> a few files with unclear license and copyright, currently
> preventing to package it. I am trying to solve these license and
> copyright issues with upstream.
> 

Hi Hendrik, any progress on this? I notice in the ocaml transition tracker:

https://release.debian.org/transitions/html/ocaml.html

hol-light is one of the ones near the top, although marked (sid only) so it only affects other (sid only) stuff beneath it.

Let me know if I can help with anything.

Ximin

-- 
GPG: ed25519/56034877E1F87C35
GPG: rsa4096/1318EFAC5FBBDBCE
https://github.com/infinity0/pubkeys.git

Reply to:

Follow-Ups:
- Bug#876533: hol-light FTBFS with OCaml 4.05.0
  - From: Hendrik Tews <hendrik@askra.de>

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

Prev by Date: ppx-core is marked for autoremoval from testing
Next by Date: Re: RFS: ocaml-migrate-parsetree
Previous by thread: Bug#876533: hol-light FTBFS with OCaml 4.05.0
Next by thread: Bug#876533: hol-light FTBFS with OCaml 4.05.0
Index(es):
- Date
- Thread