../ 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 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.12.4-1+b1_armhf.deb 23-May-2014 11:11 98748