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: > > 1) 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. > > [1]: http://vault.centos.org/8.0.1905/BaseOS/Source/SPackages/ > [2]: http://vault.centos.org/8.0.1905/BaseOS/Source/SPackages/kernel-4.18.0-80.11.2.el8_0.src.rpm > > 2) 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, -- Dominique