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?

Reply via email to