use mirrored gmsh
Dunno if I added that in the right places yet, but it's mirrored now at https://wwu-amm.github.io/files/dune/gmsh-2.16.0-Linux64.tgz
Dunno if I added that in the right places yet, but it's mirrored now at https://wwu-amm.github.io/files/dune/gmsh-2.16.0-Linux64.tgz