/gnu/store/2n9qdwmignzhnx6fc8xizhcp44k2w171-gmp-6.1.2.tar.xz.drv