../ kdoctools-dev_5.13.0-1_armhf.deb 05-Sep-2015 10:08 18862 kdoctools5-dbg_5.13.0-1_armhf.deb 05-Sep-2015 10:08 299012 kdoctools5_5.13.0-1_armhf.deb 05-Sep-2015 10:08 404724 kdoctools_5.13.0-1.debian.tar.xz 30-Aug-2015 13:41 4256 kdoctools_5.13.0-1.dsc 30-Aug-2015 13:41 2333 kdoctools_5.13.0.orig.tar.xz 30-Aug-2015 13:41 407908