[Gretl-users] cURL error

Hi all, a student of mine has reported an error when trying to install a package from the gretl server yesterday evening. Initially I thought he has a problem with a certificate on his WIndows machine because he got the error code 60. However, just trying it on my Ubuntu machine returns: cURL error 28 (Connection timed out after 20002 milliseconds) Terminated on error Trying to click through the GUI to the packages in the server, returns: cURL error 6 (Could not resolve host: gretl.sourceforge.net) The gretl package site works, however, and also downloading a gfn file is possible: https://gretl.sourceforge.net/cgi-bin/gretldata.cgi?opt=SHOW_FUNCS Best Artur