Index of /debian-ports/pool-sh4/main/m/minisat+/

../
minisat+_1.0-4_sh4.buildinfo                       23-Feb-2017 12:03                4108
minisat+_1.0-4_sh4.deb                             23-Feb-2017 12:03              153856