/gnu/store/3dnaf0x4z2qf7wg9yx28lfr8wr7fg7cm-gmp-6.2.0.drv