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