../ minisat2_2.2.1-5build2_loongarch64.deb 08-Aug-2023 09:23 7152 minisat2_2.2.1-5build2_riscv64.deb 15-Aug-2023 08:17 7148 minisat_2.2.1-5build2_loongarch64.deb 27-Jul-2021 03:29 148446 minisat_2.2.1-5build2_riscv64.deb 15-Aug-2023 08:05 151996 minisat_2.2.1-ok1_amd64.deb 29-Sep-2024 08:28 83656 minisat_2.2.1-ok1_arm64.deb 09-Oct-2024 09:56 84192 minisat_2.2.1-ok1_loong64.deb 31-Oct-2024 10:00 144912