[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: problem with mpfr-trunk build
From: |
Zimmermann Paul |
Subject: |
Re: problem with mpfr-trunk build |
Date: |
Fri, 07 Jun 2013 19:39:09 +0200 |
Rob,
> Date: Fri, 7 Jun 2013 19:13:10 +0200
> From: Rob Vermaas <address@hidden>
>
> Hi Paul,
>
> this was likely due to a network failure, as we were replacing the
> gateway between the buildfarm and the internet. It seems the
> evaluation error has gone, so I assume the issue is solved.
>
> Cheers,
> Rob
yes thanks!
Paul