python3Packages.torch: fix by using older kernel headers
Vladimír Čunát 3 years ago 87d9283f 7993cdf2