/gnu/store/8r42vd5514frj5x3i5g9f0j1aahfvj3a-gmp-6.2.1.tar.xz.drv