New comment by xtraeme on void-packages repository https://github.com/void-linux/void-packages/pull/19675#issuecomment-593880406 Comment: I'd like to know why those were added time ago if they aren't relevant for linux... in this case those pkgs can be removed safely. I wasn't aware of this when I commented yesterday.