June 29, 2013
10:13 a.m.
On Sat, Jun 29, 2013 at 11:39 AM, GOUBIER Thierry <thierry.goubier@cea.fr> wrote:
I believe Damien said a while ago to switch to an "official' pharo ppa instead of his:
deb http://ppa.launchpad.net/pharo/stable/ubuntu raring main
I think you are right. Users need to delete the old PPA reference (in /etc/apt/sources.list.d) and add the new one http://www.pharo.org/pharo-download/ubuntu -- Damien Cassou http://damiencassou.seasidehosting.st "Success is the ability to go from one failure to another without losing enthusiasm." Winston Churchill