Index of /ubuntu/pool/main/m/minisat2/

../
minisat2_2.2.1-5_amd64.deb                         14-Jan-2021 22:32                1994
minisat2_2.2.1-5build1_amd64.deb                   14-Jan-2021 23:19                2032
minisat_2.2.1-5_amd64.deb                          14-Jan-2021 22:52               82980
minisat_2.2.1-5build1_amd64.deb                    14-Jan-2021 23:21               81816