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