June 25, 2019
3:50 p.m.
There is a prolem with files.pharo.org <http://files.pharo.org/> at the hosting company. see https://github.com/pharo-project/pharo/issues/3626 <https://github.com/pharo-project/pharo/issues/3626> for more infos Marcus