../ dolphin-plugins_4.12.4-1.debian.tar.xz 29-Apr-2014 11:51 2128 dolphin-plugins_4.12.4-1.dsc 29-Apr-2014 11:51 2245 dolphin-plugins_4.12.4.orig.tar.gz 29-Apr-2014 11:51 76600 kdesdk-dolphin-plugins_4.12.4-1+b1_armhf.deb 23-May-2014 11:11 98748