New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/24424#issuecomment-785144454

Comment:
Btw, both `cloog` and `isl` seem to have moved on github.