../ minisat_2.2.1-8+b2_arm64.deb 07-Apr-2025 18:41 83K minisat_2.2.1-8+b3_arm64.deb 20-Jan-2026 18:17 82K minisat_2.2.1-8_amd64.deb 26-Feb-2024 17:23 81K minisat_2.2.1-8_riscv64.deb 26-Feb-2024 19:39 147K