Index of /dev/debian/pool/main/m/minisat2/

../
minisat2_2.2.1-5+b3_amd64.deb                      28-Aug-2026 18:50    5258
minisat_2.2.1-5+b3_amd64.deb                       28-Aug-2026 18:50     83K
minisat_2.2.1-8_amd64.deb                          28-Aug-2026 18:50     81K