../ kmines_4.13.1-1.debian.tar.xz 23-May-2014 08:15 6424 kmines_4.13.1-1.dsc 23-May-2014 08:15 2272 kmines_4.13.1-1_armhf.deb 29-May-2014 11:09 645348 kmines_4.13.1.orig.tar.xz 23-May-2014 08:15 628220