New comment by q66 on void-packages repository https://github.com/void-linux/void-packages/pull/15271#issuecomment-539722422 Comment: Actually, this may depend on https://github.com/void-linux/void-packages/pull/15270. Let's skip CI for now, and keep it open.