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

../
minisat+_1.0-4_sh4.buildinfo                       23-Feb-2017 21:03    4108
minisat+_1.0-4_sh4.deb                             23-Feb-2017 21:03    150K