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