--- layout: fc_discuss_archives title: Message 42 from Frama-C-discuss on February 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Problem in download



Ok I will try it again following your suggestions.

It could be also an internal network problem.

Thanks.

Regards, Andr? Passos.

On Feb 22, 2010, at 2:12 PM, Pascal Cuoq wrote:

>> I am trying to download the installation file for Windows platform  
>> but
>> it keeps stalling at 99%. Can you please verify what?s happening
>
> It works for me.
>
>> or
>> provide me with an alternative link for the download?
>
> It would be easier to understand what is happening if you described
> more precisely what you are doing.  What HTTP client are you using?
> You can try curl or wget instead, these may work better/provide a more
> informative diagnosis that whatever you are trying.
>
> Pascal
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss