New comment by dkwo on void-packages repository https://github.com/void-linux/void-packages/pull/29512#issuecomment-800562545 Comment: Thanks, I missed that. Is it enough to just delete that part? or, could you suggest how to proceed? @ahesford