/gnu/store/vfx7ik9ph117sgwjsrwnal5ihb41v7aw-mpfr-4.2.1.drv