DevHeads.net

Building for EPEL 8 -- missing kernel-headers-4.18.0-80.11.1.el8_0.x86_64.rpm

Hello,

my attempt to (scratch) build an EPEL 8 package failed with

<a href="https://kojipkgs.fedoraproject.org//work/tasks/9259/37759259/root.log" title="https://kojipkgs.fedoraproject.org//work/tasks/9259/37759259/root.log">https://kojipkgs.fedoraproject.org//work/tasks/9259/37759259/root.log</a>

DEBUG util.py:593: Error: Error downloading packages:
DEBUG util.py:593: Status code: 404 for <a href="https://infrastructure.fedoraproject.org/repo/rhel/rhel8/koji/latest/x86_64/RHEL-8-001/non_modular/kernel-headers-4.18.0-80.11.1.el8_0.x86_64.rpm" title="https://infrastructure.fedoraproject.org/repo/rhel/rhel8/koji/latest/x86_64/RHEL-8-001/non_modular/kernel-headers-4.18.0-80.11.1.el8_0.x86_64.rpm">https://infrastructure.fedoraproject.org/repo/rhel/rhel8/koji/latest/x86...</a>
DEBUG util.py:741: Child return code was: 1

I assume it's not something I could affect from my fedpkg side.

Is that a known issue? What is the best way to report it?