Bug#914766: mkl: path of headers
Mo Zhou
lumin at debian.org
Fri Dec 28 03:12:05 GMT 2018
control: severity -1 wishlist
control: tag -1 wontfix
Moving headers out of mkl/ subsirectory would mess up user's /usr/include
More information about the debian-science-maintainers
mailing list