/gnu/store/9dfr5yz7m8w9nils0n5jqd879kik1w67-gmp-6.1.2.tar.xz.drv