<div dir="ltr">It works from this side - thanks!<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div text="#000000" bgcolor="#FFFFFF"><font face="FreeSerif"><a href="ftp://ftp.xiphos.org&#39;s" target="_blank"><br>ftp.xiphos.org&#39;s</a> DNS has been updated, so the
      repo is visible again. And it is busy.</font><br>
  </div><br></blockquote></div></div>