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


../
minisat+-dbgsym_1.0-4_m68k.deb                     23-Feb-2017 00:03              823532
minisat+_1.0-4_m68k.buildinfo                      23-Feb-2017 00:03                4375
minisat+_1.0-4_m68k.deb                            23-Feb-2017 00:03              118592