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

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