/gnu/store/52sdf1ali195920115wq5znj090j1c9w-gmp-6.2.1.tar.xz.drv