Dear all, I just move the following repositories from hal to the new server: dune-amg-test dune-dd dune-disc dune-istlbench You can access them just like the previous ones (see http://www.dune-project.org/download.html). Christian