Index of /nightly/debian-6-official-release/pool/main/m/minisat2/

../
minisat2_2.2.0-2_amd64.deb                         21-Jan-2020 11:49              109824
minisat2_2.2.0-2_i386.deb                          21-Jan-2020 16:54              108338