New comment by q66 on void-packages repository https://github.com/void-linux/void-packages/pull/12390#issuecomment-500629837 Comment: Looks like CI is dead. Also fixed license