Problem with mirrors.compuscene.org
I am the administrator of the server "mirrors.compuscene.org".
The disks on the server are actually full and I must migrate all the data to another server.
This operation can take several days and during theses day, the mirror will be unavailable.
Sorry for this inconvenience.