../ minisat2_2.2.1-ok1.debian.tar.xz 07-May-2026 23:31 8932 minisat2_2.2.1-ok1.dsc 07-May-2026 23:31 1616 minisat2_2.2.1.orig.tar.gz 07-May-2026 23:31 44229 minisat_2.2.1-ok1_amd64.deb 13-May-2026 21:50 95502 minisat_2.2.1-ok1_arm64.deb 01-Jun-2026 17:15 90938 minisat_2.2.1-ok1_loong64.deb 08-May-2026 19:37 215980 minisat_2.2.1-ok1_riscv64.deb 24-Jun-2026 12:49 242688