Broken URLs

[Federico Beffa]

address@hidden (Ludovic Courtès) writes:

> As discussed today on IRC, commit bd7e1ff adds a timeout on connection
> attempts made by ‘guix lint’ for the ‘source’ and ‘home-page’ checkers.
>
> Along with the previous commits, it’s allowed me to run a whole-distro
> check with:
>
>   guix lint -c source,home-page
>
> It seems to work nicely (it still leaks FDs due to
> <http://bugs.gnu.org/20145> but that’s OK since these are eventually
> GC’d.)
>
> After letting it run for ~20mn, I’ve collected a whole bunch of URL
> issues (below) that I’m sure everyone will rush to fix.  :-)

...

> gnu/packages/maths.scm:1645:15: atlas-3.10.2: URI
> http://math-atlas.sourceforge.net/ unreachable: Connection timed out

I can reach this URL without problems.

Regards,
Fede