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