/gnu/store/y247sw83xiiw4dgcsl2ibakvi33hr125-mpfr-4.2.1.drv