/gnu/store/6dysv21xbaslpn107sa6g2jh9xgn7wm8-gmp-6.1.2.tar.xz.drv