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
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
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
>
> 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
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
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
I have a look at it, hopefully a new upstream version will fix
the problem.
Hendrik
Source: hol-light
Version: 20170109-2
Severity: serious
https://buildd.debian.org/status/package.php?p=hol-light=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
8 matches
Mail list logo
