../ ksudoku_4.11.3-1.debian.tar.gz 08-Nov-2013 13:57 7336 ksudoku_4.11.3-1.dsc 08-Nov-2013 13:57 2342 ksudoku_4.11.3-1_armhf.deb 28-Nov-2013 14:08 1418246 ksudoku_4.11.3.orig.tar.xz 08-Nov-2013 13:57 1433632