/gnu/store/m3318rn04514y8439ir9wfmsl8s42l0p-gmp-6.2.1.tar.xz.drv