New comment by Vaelatern on void-packages repository https://github.com/void-linux/void-packages/issues/45689#issuecomment-1685374196 Comment: Let's drop it for now, we can add it back in later after they fix their build. Can we do so without adding it to removed-packages?