/gnu/store/jr3rxyg100wf4xld79gnrabj364qkvmz-mpfr-4.1.0.drv