/gnu/store/zimw3nm62xm3jc5ybbgg35jgfx7jbin2-mpfr-4.2.0.drv