On 25 Jun 2019, at 17:50, Marcus Denker <marcus.denker@inria.fr> wrote:

There is a prolem with files.pharo.org at the hosting company.

see https://github.com/pharo-project/pharo/issues/3626 for more infos

Marcus