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