New comment by dkwo on void-packages repository https://github.com/void-linux/void-packages/pull/32822#issuecomment-913506237 Comment: > * 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. This should be addressed in sage tickets 32243 and 29413 linked there, right?