../ kmines_4.12.4-1.debian.tar.xz 29-Apr-2014 12:01 6400 kmines_4.12.4-1.dsc 29-Apr-2014 12:01 2272 kmines_4.12.4-1_armhf.deb 05-May-2014 17:11 645226 kmines_4.12.4.orig.tar.gz 29-Apr-2014 12:01 637697