Package: ftp.debian.org Severity: normal Hi,
please remove the separate kdevelop-php-docs source and its binaries: its content was merged together with kdevelop-php, which now builds everything, and provides transitional packages for the older binaries of src:kdevelop-php-docs. Thanks, -- Pino
