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