../ minisat+_1.0-4build1_loongarch64.deb 27-Jul-2021 05:04 141880 minisat+_1.0-4build1_riscv64.deb 15-Aug-2023 08:08 142118 minisat+_1.0-ok1_amd64.deb 29-Sep-2024 09:35 137976 minisat+_1.0-ok1_arm64.deb 09-Oct-2024 09:38 126378 minisat+_1.0-ok1_loong64.deb 31-Oct-2024 10:21 139328