../ minisat+_1.0-3_amd64.deb 08-Jan-2023 18:13 158392 minisat+_1.0-3_i386.deb 08-Jan-2023 17:44 160068 minisat+_1.0-4_amd64.deb 08-Jan-2023 12:08 158368 minisat+_1.0-4_i386.deb 08-Jan-2023 11:41 160076