/gnu/store/2b4qwpayy2ccvyxhwiiw652w7j3pj6r4-mpfr-4.0.2.drv