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