../ kdevelop-4.5.80.tar.xz 10-Nov-2013 19:56 4872640 kdevelop-php-1.5.80.tar.xz 10-Nov-2013 19:57 647408 kdevelop-php-docs-1.5.80.tar.xz 10-Nov-2013 19:57 32752 kdevplatform-1.5.80.tar.xz 10-Nov-2013 19:57 1910368