Index of /pub/raspbian/pool/main/m/minisat2/

../
minisat2_2.2.1-5_armhf.deb                         12-Aug-2014 22:11                5038
minisat_2.2.1-5_armhf.deb                          12-Aug-2014 22:11               77722