[11:29] Hello! [11:30] Yesterday I've reported via e-mail an error in kernel numbering for 5.17.12 and 5.18.1. [11:30] https://kernel.ubuntu.com/~kernel-ppa/mainline/v5.17.12/ [11:31] Filenames inside the directories a wrong. They contain filenames of 5.15.0.35. Can you check that and fix? ThankYou. [11:51] yeah, we know, but people who work on that thing are currently on holidays. we will try to fix it next week. [11:53] xnox, thank You for your reply. [11:53] May I ask you something? Just fileRenaming would it help? How do you think? [11:54] Just curious. [14:37] it will need rebuild, cause the versions inside the .deb/control metadata and changelog will be all wrong. i.e. the filename is irrelevant, as dpkg database will get the version number from inside the deb, which is the wrong one. [20:21] Hey, so I have a fun one... [20:21] I've been building a kernel using this Git repo: https://git.launchpad.net/~ubuntu-kernel-test/ubuntu/+source/linux/+git/mainline-crack/ [20:21] Now, I'm fairly versed in Git and development so this doesn't scare me... what has me curious though is why it thinks the upstream v5.18.1 branch is v5.15.0 [20:22] On `cod/mainline/v5.18.1` compiling gives me this among many lines... [20:22] ` sed -e 's/PKGVER/5.15.0/g' \` [20:23] Now, I can't seem to find where that version lives... I'm going to try doing a full re-clone to see if it's some local caching fun, but also wanted to point it out for some human eyes :) [20:37] Simon Quigley: automation is currently broken, and note that said repo is the product of automation, not input. [20:38] Exactly the answer I was hoping for, unfortunately [20:38] It's okay [22:03] Ah, had everything to do with the changelog. Copied the entry from debian.master/changelog and it worked.