* gnu/packages/virtualization.scm (xen)[native-inputs]: Add the Xen name and version to the ‘…-mini-os-git-checkout’ store file name.
* gnu/packages/virtualization.scm (xen)[native-inputs]: Add the Xen name and version to the ‘…-mini-os-git-checkout’ store file name.