this is a quick note that the php team (well, Ole and me) has decided to
kill of the dev-php5 category.
We think it's confusing and the distinction of which packages go where
isn't as clear as it should be. I find myself regularly looking in
dev-php instead of dev-php5.
As php extensions (which should be in dev-php5 now) may now break on
minor versions changes of php, the dev-php5 name is not as appropiate as
it was with php4 still around.
So we're going to remove it.
This will not be an overnight change. We intend to move packages from
dev-php5 to dev-php starting this weekend (29./30.1.) and be finished
sometime next month. Packages pending a revision or version bump will go
You can post all issues (if any) to our tracker bug #324665.