[Agda] windows installer is not available

[Peter Divianszky]

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