/gnu/store/4j7qkp2bbwb7nc9shfl1l1p4sz4a98vc-gmp-6.2.1.tar.xz.drv