/gnu/store/n00z91b6357d0sjy7j03jdsamfa55ifi-gmp-6.1.2.tar.xz.drv