../ minisat+_1.0-2_amd64.deb 13-May-2026 08:26 176K minisat+_1.0-2_i386.deb 13-May-2026 08:26 168K minisat+_1.0-4_amd64.deb 11-May-2026 11:56 155K minisat+_1.0-4_i386.deb 13-May-2026 08:26 146K minisat+_1.0-4build1_amd64.deb 22-Mar-2020 21:20 139K minisat+_1.0-5_amd64.deb 13-May-2026 08:26 157K minisat+_1.0-5build1_amd64.deb 13-May-2026 08:26 159K