/gnu/store/6xjdlkqszgxj97ii41c11d02iwzvk6kg-mpfr-4.1.0.drv