../ ktimer_4.14.2-0ubuntu1~ubuntu14.04~ppa2.debian...> 27-Oct-2014 08:59 3320 ktimer_4.14.2-0ubuntu1~ubuntu14.04~ppa2.dsc 27-Oct-2014 08:59 2345 ktimer_4.14.2-0ubuntu1~ubuntu14.04~ppa2_amd64.deb 27-Oct-2014 09:08 158166 ktimer_4.14.2-0ubuntu1~ubuntu14.04~ppa2_i386.deb 27-Oct-2014 09:08 157910 ktimer_4.14.2.orig.tar.xz 27-Oct-2014 08:59 146868