../ ktux-dbg_4.13.0-0ubuntu1_amd64.deb 10-Apr-2014 22:29 244604 ktux-dbg_4.13.0-0ubuntu1_i386.deb 10-Apr-2014 22:29 241914 ktux_4.13.0-0ubuntu1.debian.tar.gz 10-Apr-2014 22:08 3238 ktux_4.13.0-0ubuntu1.dsc 10-Apr-2014 22:08 1378 ktux_4.13.0-0ubuntu1_amd64.deb 10-Apr-2014 22:29 114900 ktux_4.13.0-0ubuntu1_i386.deb 10-Apr-2014 22:29 115208 ktux_4.13.0.orig.tar.xz 10-Apr-2014 22:08 108628