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