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

../
minisat+-dbgsym_1.0-4_ppc64.deb                    23-Feb-2017 00:03              906394
minisat+_1.0-4_ppc64.buildinfo                     23-Feb-2017 00:03                4437
minisat+_1.0-4_ppc64.deb                           23-Feb-2017 00:03              143314