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