Hi Karl, We've changed back the mirror machine ubuntu.c3sl.ufpr.br to IP 200.17.202.1; the dns is already up-to-date. The IP 200.17.202.10 still works but will stop soon. Please adjust your settings for push synch if necessary.