/gnu/store/x986jmg1pv7ss7sam3y6yjns7pni0xg0-gmp-6.2.0.tar.xz.drv