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

../
minisat+-dbgsym_1.0-4_ppc64.deb                    23-Feb-2017 09:03    885K
minisat+_1.0-4_ppc64.buildinfo                     23-Feb-2017 09:03    4437
minisat+_1.0-4_ppc64.deb                           23-Feb-2017 09:03    140K