On Tue, 06 May 2008 04:00:15 +0200, Gilles <gilles.ganault at free.fr> wrote: >Nothing happens :-/ Are the above, outdated packages located >elsewhere? FWIW, apparently, the solution is to run this: portupgrade php5-* and let it upgrade every package.