[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