[Agda] Re: windows installer is not available

[Makoto Takeyama]

Hi

For now the windows installer and its source are uploaded to the agda
site in google project, and the links in Download page of Agda Wiki are
updated.

Makoto

On Tue, 06 Nov 2012 09:50:02 +0900
Makoto Takeyama <makoto.takeyama at aist.go.jp> wrote:

> 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

-- 
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