/gnu/store/knlihz39cbgirkdl0fl4irh5n1bxzig9-gmp-6.2.1.tar.xz.drv