../ ksudoku_4.13.3-1.debian.tar.xz 29-Jul-2014 16:32 6688 ksudoku_4.13.3-1.dsc 29-Jul-2014 16:32 2330 ksudoku_4.13.3-1_armhf.deb 04-Aug-2014 11:10 1419300 ksudoku_4.13.3.orig.tar.xz 29-Jul-2014 16:32 1424248