Antal Nemeš wrote on Wed, Nov 20, 2019 at 11:43:45AM +0100:
Thank you, I am aware of the general location. As I said, I already looked there and it seems the package in question simply does not exist:
Directory listing [1] shows that kernel-4.18.0-80.11.2.el8_0.src.rpm [2] does not exist. In fact, the BaseOS/Source/SPackages contains only two src.rpms of the currently seven kernel-4.18.* rpms available in the Packages.
dnf download --source fails:
$dnf download --source kernel-0:4.18.0-80.11.2.el8_0 enabling AppStream-source repository enabling BaseOS-source repository enabling extras-source repository Last metadata expiration check: 0:01:39 ago on Wed 20 Nov 2019 10:30:00 AM UTC. No package kernel-4.18.0-80.11.2.el8_0.src available.
Same works for a kernel-4.18.0-80.7.1.el8_0 (one of the two kernel src.rpms that do exist in SPackages).
I noticed the same problem; we were also missing the kernel-debuginfo package e.g. kernel-debuginfo-4.18.0-80.11.2.el8_0.x86_64.rpm ; this is quite annoying.
Generally there are two places to find source rpms if they're missing on vault: - git.centos.org, e.g. for kernel on centos8 https://git.centos.org/rpms/kernel/commits/c8 You'd need to check this out and rebuild from spec
- koji build lets you download artefacts including the src.rpm (and in my case, the -debuginfo package) https://koji.mbox.centos.org/koji/buildinfo?buildID=4562
Hope this helps,