../ minisat+_1.0-4build1_amd64.deb 22-Mar-2020 12:50 139K minisat+_1.0-4build1_arm64.deb 22-Mar-2020 15:56 124K minisat+_1.0-5build1_amd64.deb 26-Jan-2026 16:36 159K minisat+_1.0-5build1_arm64.deb 26-Jan-2026 16:37 158K