Bug#876533: hol-light FTBFS with OCaml 4.05.0

2019-07-29 Thread Gianfranco Costamagna
Hello, > BTW, the listing above shows the inclusion of quilt's .pc directory in > /usr/share/hol-light, which is wrong. > > > If there are good reasons for installing it in /usr/share/hol-light (which > > seems to be inconsistent with the packaging policy, as I mentioned) please > > describe

Bug#876533: hol-light FTBFS with OCaml 4.05.0

2017-11-06 Thread Stéphane Glondu
On 03/11/2017 17:43, Ximin Luo wrote: 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

Bug#876533: hol-light FTBFS with OCaml 4.05.0

2017-11-03 Thread Ximin Luo
Hendrik Tews: > >> 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 > re

Bug#876533: hol-light FTBFS with OCaml 4.05.0

2017-10-30 Thread Hendrik Tews
> 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 th

Bug#876533: hol-light FTBFS with OCaml 4.05.0

2017-10-30 Thread Ximin Luo
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 oca

Bug#876533: hol-light FTBFS with OCaml 4.05.0

2017-10-04 Thread 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. Hendrik

Bug#876533: hol-light FTBFS with OCaml 4.05.0

2017-09-23 Thread Hendrik Tews
I have a look at it, hopefully a new upstream version will fix the problem. Hendrik

Bug#876533: hol-light FTBFS with OCaml 4.05.0

2017-09-23 Thread Adrian Bunk
Source: hol-light Version: 20170109-2 Severity: serious https://buildd.debian.org/status/package.php?p=hol-light&suite=sid ... 0..0..1..4..11..25..51..106..solved at 153 0..0..1..4..11..solved at 21 0..0..1..5..15..37..85..209..492..solved at 962 0..0..1..4..11..25..55..120..227..404..688..1152..