[04:02] <juergh> apw, https://kernel.ubuntu.com/~kernel-ppa/mainline/v5.17.12/ contains 5.15 packages instead of 5.17.
[07:42] <apw> juergh, that is mostly incomprehensible.  i suspect it is actually 5.17 with 5.15 on the package names, but ... wibble.