/gnu/store/wimn5j9bdig1m4wwfi7wjmzibrixwn42-gmp-6.2.0.tar.xz.drv