Index of /nfs-4.0/pool/upstream/m/minisat2/

../
minisat2_2.2.1-5+b1_amd64.deb                      27-Nov-2019 13:50                5274
minisat_2.2.1-5+b1_amd64.deb                       27-Nov-2019 13:50               85726