../ dolphin-plugins_4.13.1-1.debian.tar.xz 26-May-2014 12:12 2168 dolphin-plugins_4.13.1-1.dsc 26-May-2014 12:12 2245 dolphin-plugins_4.13.1.orig.tar.xz 26-May-2014 12:12 58076 kdesdk-dolphin-plugins_4.13.1-1_armhf.deb 01-Jun-2014 11:15 103324