/gnu/store/r5n0xnq3j427544kj02jp100h54w8rkc-gmp-6.2.1.tar.xz.drv