/gnu/store/3i02vbs19lgdshm516mr789d4yppbgsr-gmp-6.0.0a.tar.xz.drv