/gnu/store/24x4g1v8ksw4ad23m44390fnwryzgqfg-gmp-6.2.0.drv