../ kdoctools-dev_5.12.0-1_armhf.deb 14-Jul-2015 23:27 18952 kdoctools5-dbg_5.12.0-1_armhf.deb 14-Jul-2015 23:27 299038 kdoctools5_5.12.0-1_armhf.deb 14-Jul-2015 23:27 406998 kdoctools_5.12.0-1.debian.tar.xz 14-Jul-2015 19:44 4240 kdoctools_5.12.0-1.dsc 14-Jul-2015 19:44 2333 kdoctools_5.12.0.orig.tar.xz 14-Jul-2015 19:44 406496