Index of /xenial-dev/pool/main/m/minisat2/

../
minisat2_2.2.1-5_amd64.deb                         24-Apr-2018 13:55                1994
minisat2_2.2.1-5_i386.deb                          24-Apr-2018 14:28                1996
minisat_2.2.1-5_amd64.deb                          24-Apr-2018 13:49               82980
minisat_2.2.1-5_i386.deb                           24-Apr-2018 14:13               97038