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