Package: ftp.debian.org Severity: normal Hi, please change section & priority of kdevelop-php-docs as oldlibs/extra, as its content has been merged into kdevelop-php, and this package is left as transitional. Thanks, -- Pino