../ ktux-dbg_4.13.0-0ubuntu1_amd64.deb 11-Apr-2014 07:29 239K ktux-dbg_4.13.0-0ubuntu1_i386.deb 11-Apr-2014 07:29 236K ktux_4.13.0-0ubuntu1.debian.tar.gz 11-Apr-2014 07:08 3238 ktux_4.13.0-0ubuntu1.dsc 11-Apr-2014 07:08 1378 ktux_4.13.0-0ubuntu1_amd64.deb 11-Apr-2014 07:29 112K ktux_4.13.0-0ubuntu1_i386.deb 11-Apr-2014 07:29 113K ktux_4.13.0.orig.tar.xz 11-Apr-2014 07:08 106K