/gnu/store/2xcaffn3m6d1z1awkiygj7m3gksncavb-gmp-6.2.0.tar.xz.drv