[Agda] Re: windows installer is not available
Peter Divianszky
divipp at gmail.com
Tue Nov 6 07:01:21 CET 2012
Thank you very much!
(And also thank you for the work on the installer.)
Peter
On 06/11/2012 04:54, Makoto Takeyama wrote:
> 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
>
More information about the Agda
mailing list