[Agda] Re: windows installer is not available

[Peter Divianszky]

On 05/11/2012 18:15, Peter Divianszky wrote:
> Hi,
>
> I can not download the Windows installer from the link given on the Agda
> wiki:
>
> http://agda.cvs.gr.jp/agda/Agda-2.3.0-20120225-setup.exe
>
> Could you help me?
>
> Thanks,
> Peter

As I see the Windows installers are hosted on agda.cvs.gr.jp and the 
older versions on kurama.cvs.gr.jp. Both are unreachable,
cvs.gr.jp seems to be unreachable, and http://gr.jp answers

ドメインウェブの設定が見つかりません

考えられる原因

     ドメインウェブの設定がまだ行われていない。
     ドメインウェブの設定がまだ反映されていない。(反映には数時間～24時間 
かかることがあります)
     ドメインウェブ・DNSの設定が誤っている。
     アカウントが存在しない、契約が終了している、削除されている。

Wouldn't it be better to store the installer also on some common free 
software download place?

Peter