Bug#876533: hol-light FTBFS with OCaml 4.05.0

To: Adrian Bunk <bunk@debian.org>
Cc: 876533@bugs.debian.org
Subject: Bug#876533: hol-light FTBFS with OCaml 4.05.0
From: Hendrik Tews <hendrik@askra.de>
Date: Sat, 23 Sep 2017 20:33:03 +0200
Message-id: <[🔎] 871smxfeow.fsf@elite.askra.de>
Reply-to: Hendrik Tews <hendrik@askra.de>, 876533@bugs.debian.org
In-reply-to: <[🔎] 150616689874.9249.12183650459000828921.reportbug@localhost> (Adrian Bunk's message of "Sat, 23 Sep 2017 14:41:38 +0300")
References: <[🔎] 150616689874.9249.12183650459000828921.reportbug@localhost> <[🔎] 150616689874.9249.12183650459000828921.reportbug@localhost>

I have a look at it, hopefully a new upstream version will fix
the problem.

Hendrik

Reply to:

References:
- Bug#876533: hol-light FTBFS with OCaml 4.05.0
  - From: Adrian Bunk <bunk@debian.org>

Prev by Date: Re: Bug#871469: transition: ocaml
Next by Date: Bug#876537: otags FTBFS with OCaml 4.05.0
Previous by thread: Bug#876533: hol-light FTBFS with OCaml 4.05.0
Next by thread: Bug#876537: otags FTBFS with OCaml 4.05.0
Index(es):
- Date
- Thread