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