And yes, this 5.3.18-57.3 package *does* also provide 5.3.18-57 (without .3 suffix). # rpm --provides -qp kernel-default-devel-5.3.18-57.3.x86_64.rpm | grep kernel-default-devel kernel-default-devel = 5.3.18-57 kernel-default-devel = 5.3.18-57.3 kernel-default-devel(x86-64) = 5.3.18-57.3 # rpm --provides -qp kernel-devel-5.3.18-57.3.noarch.rpm kernel-devel = 5.3.18-57 kernel-devel = 5.3.18-57.3