/gnu/store/12nrlbyxyqirw5a4mbx09xcmci9dvqdx-gmp-6.2.1.tar.xz.drv