../ minisat2_2.2.1-5+b3_amd64.deb 08-Apr-2019 11:32 5258 minisat2_2.2.1-5+b3_arm64.deb 05-Nov-2020 15:38 5250 minisat2_2.2.1-5+b3_i386.deb 05-Nov-2020 15:59 5258 minisat2_2.2.1-5.debian.tar.xz 08-Apr-2019 09:46 9348 minisat2_2.2.1-5.dsc 08-Apr-2019 09:46 1893 minisat2_2.2.1.orig.tar.gz 08-Apr-2019 09:46 44229 minisat_2.2.1-5+b3_amd64.deb 08-Apr-2019 09:42 84904 minisat_2.2.1-5+b3_arm64.deb 05-Nov-2020 16:10 81934 minisat_2.2.1-5+b3_i386.deb 05-Nov-2020 15:58 93386