Index of /pkgs/pkgs/ubuntu/pool/universe/m/minisat2/

../
minisat2_2.2.1-4_amd64.deb                         14-Jul-2013 22:58                1896
minisat2_2.2.1-5_amd64.deb                         30-Jul-2014 18:38                1994
minisat_2.2.1-4_amd64.deb                          14-Jul-2013 22:58              130944
minisat_2.2.1-5_amd64.deb                          30-Jul-2014 18:38               82980