Vagrant：没有可用的软件包kernel-devel-4.18.7-1.el7.elrepo.x86_64

Question

我正在运行vagrant up，但是出现错误，似乎没有kernel-devel-4.18.7-1.el7.elrepo.x86_64，我尝试下载kernel-devel-4.18.7-1.el7.elrepo.x86_64表单   http://mirror.centos.org/centos/7.5.1804/updates/x86_64/Packages/和http://elrepo.org/linux/kernel/el7/x86_64/RPMS/，但是我在那里找不到，所以在哪里可以找到kernel-devel-4.18.7-1.el7.elrepo.x86_64？