On 28.05.2014 17:16, Damien Cassou wrote:


yes, just update :-)

Playing dumb here, but I just did sudo apt-get update && sudo apt-get dist-upgrade && sudo apt-get --purge autoremove && sudo apt-get autoclean using the ppa and I don't have a pharo4 entry?