../ minisat2_2.2.1-5_amd64.deb 16-Mar-2016 10:56 1994 minisat2_2.2.1-5build1_amd64.deb 02-Oct-2018 09:16 2032 minisat_2.2.1-5_amd64.deb 16-Mar-2016 10:17 82980 minisat_2.2.1-5build1_amd64.deb 02-Oct-2018 09:39 81816