New comment by tornaria on void-packages repository https://github.com/void-linux/void-packages/pull/32822#issuecomment-912823152 Comment: cddlib: - do we want to split a -devel pkg? - sage expects include files to be in /usr/include so this is not picked up. It seems old versions of cddlib used to place headers in usr/include, and debian places them in /usr/include/cdd, but recent versions of cddlib place them in /usr/include/cddlib.