Might be related to the maintenance at INRIA.

On 11.11.2013, at 09:07, phil@highoctane.be wrote:

Now get.pharo.org looks like dead.