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