../ minisat-dbgsym_2.2.1-8_amd64.deb 04-Jun-2025 22:41 204K minisat-dbgsym_2.2.1-8_riscv64.deb 26-May-2024 14:39 166K minisat2_2.2.1-8.debian.tar.xz 15-May-2024 11:37 9864 minisat2_2.2.1-8.dsc 15-May-2024 11:37 1729 minisat2_2.2.1.orig.tar.gz 15-May-2024 11:37 43K minisat_2.2.1-8_amd64.deb 04-Jun-2025 18:24 81K minisat_2.2.1-8_riscv64.deb 22-Apr-2024 13:48 147K