Index of /loongson/loongbian/pool/main/m/minisat+/

../
minisat+-dbgsym_1.0-4_mips64el.deb                 02-Oct-2020 02:13      1M
minisat+_1.0-4.debian.tar.xz                       22-Feb-2017 20:22    4176
minisat+_1.0-4.dsc                                 22-Feb-2017 20:22    1984
minisat+_1.0-4_mips64el.deb                        02-Oct-2020 02:13    140K
minisat+_1.0.orig.tar.gz                           14-May-2011 12:02     78K