/gnu/store/6rs4mjlmrkhgx64cj1bww623xhp274nh-gmp-6.0.0a.tar.xz.drv