New comment by tibequadorian on void-packages repository https://github.com/void-linux/void-packages/pull/36214#issuecomment-1072782850 Comment: ~@paper42 is it correct to remove it from `removed-packages`?~ Didn't remove it now, because it's not needed.