../ gnuminishogi_1.4.2-6_armhf.deb 22-Jul-2020 15:00 82020 gnushogi_1.4.2-6_armhf.deb 22-Jul-2020 15:40 207744