/gnu/store/7sxa1ilshxxchr6adv6liqc41bbhp4ym-gmp-6.2.0.tar.xz.drv