[CentOS-devel] Fwd: Vagrant boxes (7.2.1511)

Hi,

Now that CentOS 7.3 has been released, vagrant boxes have become
broken when the vagrant-vbguest plugin is used to build guest
additions at creation time due to the "kernel-devel" package matching
the running kernel not being available in the default repos anymore
(since the base repo is not cumulative with older point releases).

Of course, once there's an official CentOS 7.3 base box available, the
problem should fix itself, but a somewhat important usecase remains
broken and it's why I'm posting this:

Using vagrant is especially useful when you want reproducible
environments, and this includes pinning the base box to a particular
version. As it stands, new CentOS point releases permanently break
this usecase and I believe it would be important to have a solution
for this.

Best regards,

--
Carlos Rodrigues