/gnu/store/h4jmpmqsfc6qj1lz6qsaciq9pp91nd0q-gmp-6.1.2.tar.xz.drv