On Wed, Jul 13, 2016 at 02:46:55PM +0200, Ludovic Courtès wrote: > I prefer to keep the mirror.hydra.gnu.org name, I think it’s clearer.
Could there not be two, both of which would be checked, so if a package is not found on the first one, it is searched on the second one? This would make things more resilient. Andreas
