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