/gnu/store/80dih5k76fqhfx5k7lsqlzsmmzxc5pcx-gmp-6.1.2.tar.xz.drv