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    150K