New comment by jnbr on void-packages repository https://github.com/void-linux/void-packages/pull/11571#issuecomment-490979857 Comment: There is a risk of breaking installations when moving files between packages. To prevent this, this PR should be merged in two steps, `cross-arm-none-eabi-*` first and then `cross-arm-none-eabi`, so that `cross-arm-none-eabi` has a different timestamp than the remaining packages.