../ minisat+_1.0-5_amd64.deb 10-Oct-2024 00:45 146K minisat+_1.0-5_arm64.deb 10-Oct-2024 00:29 130K minisat+_1.0-5_riscv64.deb 10-Oct-2024 01:20 148K