[Agda] Re: windows installer is not available

[Makoto Takeyama]

Dear Peter and All,

Sorry for the unavailability.  The cause was my overlooking
the expiration date for the hosting service. Please be patient
while I relocate the files to a new location.

Makoto
On Mon, 5 Nov 2012 18:12:34 -0500
Darius Jahandarie <djahandarie at gmail.com> wrote:

> On Mon, Nov 5, 2012 at 6:06 PM, Peter Divianszky <divipp at gmail.com> wrote:
> > 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?
> 
> Although I have no idea how to get the installer to you, that message
> is just a standard "could not resolve this domain name" error message.
> 
> .gr.jp is a standard second-level domain for groups of people, so the
> issue is that cvs.gr.jp is not working for some reason. I am not sure
> why it isn't working.
> 
> -- 
> Darius Jahandarie
> 
> ----------------------------------------------------------------
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda

-- 
Makoto Takeyama <makoto.takeyama at aist.go.jp>
AIST/RISEC (National Institute of Advanced Industrial Science and Technology /
            Research Institute for Secure Systems)
tel: +81-6-6494-8045