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