../ minisat2_2.2.1-5.debian.tar.xz 16-Feb-2017 11:04 9348 minisat2_2.2.1-5.dsc 16-Feb-2017 11:04 1893 minisat2_2.2.1-5_amd64.deb 27-Sep-2017 11:58 5038 minisat2_2.2.1-5_i386.deb 27-Sep-2017 12:03 5022 minisat2_2.2.1.orig.tar.gz 16-Feb-2017 11:04 43K minisat_2.2.1-5_amd64.deb 27-Sep-2017 13:49 84K minisat_2.2.1-5_i386.deb 27-Sep-2017 14:22 96K