Some users have been reporting problems with the download script. We have detected that it happens when you provide an email address and it is already in the mailing list (i.e., you have asked before to be added to the ciao-users mailing list). You can just select for now "no" for the mailing list on the form while we fix this. Cheers, --Manuel
I can not download a newer version of the CIAO system from the WEB site. I get an error!
Fixed now, apologies for the inconvenience. --Manuel and Jose
On Friday, July 6, 2018 at 22:25:52 (+0200), Manuel Hermenegildo wrote:
Some users have been reporting problems with the download script. We have detected that it happens when you provide an email address and it is already in the mailing list (i.e., you have asked before to be added to the ciao-users mailing list). You can just select for now "no" for the mailing list on the form while we fix this. Cheers, --Manuel
I can not download a newer version of the CIAO system from the WEB site. I get an error!