../ minisat2_2.2.0-2.debian.tar.gz 26-Apr-2023 11:45 9783 minisat2_2.2.0-2.dsc 26-Apr-2023 11:45 1110 minisat2_2.2.0-2_i386.deb 26-Apr-2023 11:45 106K minisat2_2.2.0.orig.tar.gz 26-Apr-2023 11:45 43K minisat2_2.2.1-5+b3_i386.deb 26-Apr-2023 15:49 5258 minisat2_2.2.1-5.debian.tar.xz 26-Apr-2023 15:49 9348 minisat2_2.2.1-5.dsc 26-Apr-2023 15:49 1893 minisat2_2.2.1.orig.tar.gz 26-Apr-2023 15:49 43K minisat_2.2.1-5+b3_i386.deb 26-Apr-2023 15:49 91K