Index of /repo_desktop_1.0/pool/Universe/m/minisat2/

../
minisat2_2.2.1-3.debian.tar.gz                     27-Dec-2014 00:02                8611
minisat2_2.2.1-3.dsc                               27-Dec-2014 00:02                1135
minisat2_2.2.1-3_i386.deb                          27-Dec-2014 00:02                1892
minisat2_2.2.1.orig.tar.gz                         27-Dec-2014 00:02               44229
minisat_2.2.1-3_i386.deb                           27-Dec-2014 00:02              126954