/gnu/store/pszi51rrc611zi85p6i8w5s8w9ipln4z-gmp-6.2.0.drv