Index of /pool/main/m/minisat2/

../
minisat2_2.2.1-5_armhf.deb                         22-Jul-2020 15:05                5038
minisat_2.2.1-5_armhf.deb                          22-Jul-2020 15:21               77722