Bug#794032: uninstallable: depends on libinput10 (>= 0.17.0)

[Cyril Brulebois <kibi@debian.org>]

Package: xserver-xorg-input-libinput-udeb
Version: 0.11.0-1
Severity: serious
Tags: d-i
Justification: renders package unusable

(x-d-cc: debian-boot@)

Hi,

xserver-xorg-input-libinput-udeb is currently not installable, because
it depends on libinput10 (>= 0.17.0), and this package only comes as a
deb package. You might want to investigate shipping such a udeb in
src:libinput, and having your DDX driver rebuilt against it.

I'm a bit ambivalent about the severity. I'd usually file this as
grave but since that doesn't lead to any practical issue (as for the
gtk3 udeb), it probably could be seen as just important. Picking
serious as a middle ground, please adjust as you see fit.

Mraw,
KiBi.