/gnu/store/1sh3f569l2fd0ds2n6a31s07s3nvjaf1-gmp-6.1.2.tar.xz.drv