New comment by tornaria on void-packages repository https://github.com/void-linux/void-packages/pull/32822#issuecomment-913591021 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? https://trac.sagemath.org/ticket/32243 seems to deal with this and already merged for sage-9.5 so let's just ignore this and wait (maybe it already works with sage-9.5.beta0, I didn't check).