On 15-Dec-2016, Ben Finney wrote:
> If I understand you correctly, you are asking in this bug report
> that Debian's ‘python-coverage’ packages would bundle a third-party
> library that is a slightly different version of the already-packaged
> ‘libjs-jquery-hotkeys’.
> 
> That isn't an option, as explained earlier. 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'll find that it's not as
>   dire as you portray above.

Until bug#740893 is resolved, this option – patch the software to not
use ‘libjs-jquery-hotkeys’ at all – seems to be the most practical one
available.

-- 
 \     “We live in capitalism. Its power seems inescapable. So did the |
  `\   divine right of kings.” —Ursula K. LeGuin, National Book Awards |
_o__)                                    acceptance speech, 2014-11-19 |
Ben Finney <bign...@debian.org>

Attachment: signature.asc
Description: PGP signature

Reply via email to