efdc58214b8c1eb32b4bbd827dc6d6e942355c9c  kdevelop-php-1.7.2.tar.xz