../ kdoctools-dev_5.15.0-1_armhf.deb 19-Oct-2015 10:51 18786 kdoctools5-dbg_5.15.0-1_armhf.deb 19-Oct-2015 10:51 317134 kdoctools5_5.15.0-1_armhf.deb 19-Oct-2015 10:51 404514 kdoctools_5.15.0-1.debian.tar.xz 12-Oct-2015 12:28 4288 kdoctools_5.15.0-1.dsc 12-Oct-2015 12:28 2333 kdoctools_5.15.0.orig.tar.xz 12-Oct-2015 12:28 407836