/gnu/store/xph6hzd687fz1wsjw4v184d7izch19x8-gmp-6.0.0a.tar.xz.drv