Index of /pool/main/m/minisat2/

../
minisat2_2.2.1-5+b3_amd64.deb                      22-Jul-2026 13:52                5258
minisat_2.2.1-5+b3_amd64.deb                       22-Jul-2026 13:50               84904
minisat_2.2.1-8_amd64.deb                          23-Jul-2026 10:48               83108