/gnu/store/7j9macph6izc6n8qy5fgrs5s8rlbx7mv-gmp-6.2.0.drv