Re: problem with mpfr-trunk build

[Rob Vermaas]

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

On Fri, Jun 7, 2013 at 11:00 AM, Zimmermann Paul
<address@hidden> wrote:
>        Hi,
>
> first thank you for prodiving the hydra service!
>
> Today around 10:33 there was an error downloading the mpfr trunk,
> according to http://hydra.nixos.org/jobset/gnu/mpfr-trunk:
>
>    Errors occurred at 2013-06-07 10:33:00.
>
>    error checking out Subversion repo at 
> `svn://scm.gforge.inria.fr/svn/mpfr/trunk':
>    svn: E670002: Unable to connect to a repository at URL 
> 'svn://scm.gforge.inria.fr/svn/mpfr/trunk'
>    svn: E670002: Unknown hostname 'scm.gforge.inria.fr'
>
> However the hostname scm.gforge.inria.fr is valid.
>
> Do you know what happens?
>
> Best regards,
> Paul Zimmermann
>



-- 
Rob Vermaas

[email] address@hidden