Index of /kali/pool/main/m/minisat2/
../
minisat2_2.2.1-8.debian.tar.xz                     26-Feb-2024 20:33    9864
minisat2_2.2.1-8.dsc                               26-Feb-2024 20:33    1729
minisat2_2.2.1.orig.tar.gz                         29-Mar-2011 17:37     43K
minisat_2.2.1-8+b2_arm64.deb                       07-Apr-2025 22:11     83K
minisat_2.2.1-8+b3_arm64.deb                       20-Jan-2026 21:47     82K
minisat_2.2.1-8_amd64.deb                          26-Feb-2024 20:53     81K
minisat_2.2.1-8_armhf.deb                          26-Feb-2024 20:53     75K
minisat_2.2.1-8_i386.deb                           26-Feb-2024 20:53     90K