Hi all, 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 first. You can post all issues (if any) to our tracker bug #324665. Any advice and feedback welcome. EOM
signature.asc
Description: OpenPGP digital signature