/gnu/store/6jn8cvpkacrvk6qpr4f9irkmvzy2m7dp-mpfr-4.0.2.drv