Bug#740893: libjs-jquery-hotkeys: Incompatible ABI change

2017-05-24 Thread Ben Finney
Control: unblock 848188 by 740893 Control: summary 848188 0 Until the ‘libjs-jquery-hotkeys’ package resolves bug#740893, the ‘python-coverage’ packages should not use that library. I will patch the ‘python-coverage’ source so it omits any use of that library. On 06-Apr-2017, Philipp Hahn wrote:

Bug#740893: libjs-jquery-hotkeys: Incompatible ABI change

2017-04-09 Thread Philipp Matthias Hahn
Hello Ben, On Sun, Apr 09, 2017 at 12:41:50PM +1000, Ben Finney wrote: > So the https://github.com/jeresig/jquery.hotkeys> and the > https://github.com/tzuryby/jquery.hotkeys> repositories have > diverged, incompatibly. I didn't know that :-/ ... > I count 6 binary packages: > > = > $ apt-cac

Bug#740893: libjs-jquery-hotkeys: Incompatible ABI change

2017-04-08 Thread Ben Finney
On 06-Apr-2017, Philipp Hahn wrote: > today I spent some time on investigating this issue Thank you! > > introduced an incompatible ABI change how events are registered: So the https://github.com/jeresig

Bug#740893: libjs-jquery-hotkeys: Incompatible ABI change

2017-04-06 Thread Philipp Hahn
Package: libjs-jquery-hotkeys Version: 0~20130707+git2d51e3a9+dfsg-2 Followup-For: Bug #740893 X-Debbugs-CC: Debian Haskell Group X-Debbugs-CC: Debian Go Packaging Team X-Debbugs-CC: Ben Finney X-Debbugs-CC: Federico Ceratto X-Debbugs-CC: Thomi Richards Severity: serious Control: severity -1