[Bug 1120359] Re: php5-dev version does not match php5 version

[Terje Bråten]

OK, thank you Robie Basak. You helped me to figure out the problem. It
was not the php-dev version that did not have the new enough version,
but it was my ordinary php packages that was somehow too new. ( or ahead
of the distribution version)

Again, thank you for the help, and please forgive me for for reporting a
wrong bug report. I sincerely believed that it was a bug in the
packaging of php because I was unable to bring php-dev up to par with
the installed running php version.

Terje B.

-- 
You received this bug notification because you are a member of Ubuntu
Server Team, which is subscribed to php5 in Ubuntu.
https://bugs.launchpad.net/bugs/1120359

Title:
  php5-dev version does not match php5 version

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/php5/+bug/1120359/+subscriptions