On 12/17/2016 08:22 AM, Ben Finney wrote:
> On 15-Dec-2016, Loic Dachary wrote:
>
>> On 12/15/2016 11:09 AM, Ben Finney wrote:
>
>>> So we'll need to seek another solution. I think correct solutions
>>> would include:
>>>
>>> * Remove the dependency. If the state of that code is as bad as
>>>
On 15-Dec-2016, Loic Dachary wrote:
> On 12/15/2016 11:09 AM, Ben Finney wrote:
> > So we'll need to seek another solution. I think correct solutions
> > would include:
> >
> > * Remove the dependency. If the state of that code is as bad as
> > you say, this would be a good option; I hope we'l
On 12/15/2016 11:09 AM, Ben Finney wrote:
> Control: retitle -1 python-coverage: install bundled third-party
> ‘jquery.hotkeys.js’ library
>
> On 15-Dec-2016, Loic Dachary wrote:
>> In the case of this javascript dependency, there is no reliable API,
>> no backward compatibility and no releases
Control: retitle -1 python-coverage: install bundled third-party
‘jquery.hotkeys.js’ library
On 15-Dec-2016, Loic Dachary wrote:
> In the case of this javascript dependency, there is no reliable API,
> no backward compatibility and no releases.
That sounds like you're trying to convince people t
On 12/15/2016 06:11 AM, Ben Finney wrote:
> Control: tags -1 + moreinfo
>
> On Thu, 2016-12-15 00:28 +0100, Loic Dachary wrote:
>
>> The python-coverage package recommends libjs-jquery-hotkeys and does not
>> install the jquery.hotkeys.js.
>
> I'm not sure what you mean by “does not install”;
Control: tags -1 + moreinfo
On Thu, 2016-12-15 00:28 +0100, Loic Dachary wrote:
> The python-coverage package recommends libjs-jquery-hotkeys and does not
> install the jquery.hotkeys.js.
I'm not sure what you mean by “does not install”; the “Recommends”
dependency will install the library at t
Package: python-coverage
Severity: normal
Dear Maintainer,
The python-coverage package recommends libjs-jquery-hotkeys and does not
install the jquery.hotkeys.js. However the file found in the coverage.py
sources is different from the file found in libjs-jquery-hotkeys:
--- /tmp/libjs-jquery-h
7 matches
Mail list logo
