/gnu/store/qla2zyji4ppc8pb17nnbynpf8g0xrg59-gmp-6.2.0.drv