../ minisat2_2.2.1-5_armhf.deb 22-Jul-2020 15:05 5038 minisat_2.2.1-5_armhf.deb 22-Jul-2020 15:21 77722