Name Last modified Size Description Parent Directory - metadata.xml 16-Jun-2016 18:18 249 kdevelop-php-5.1.0.e..> 07-May-2017 02:31 1.0K Manifest 05-Jun-2017 02:22 762 kdevelop-php-5.1.1.e..> 02-Aug-2017 03:56 1.0K