Index of /loongson64/pool/main/m/minisat+/

../
minisat+_1.0-3.debian.tar.xz                       24-Apr-2019 17:35    4124
minisat+_1.0-3.dsc                                 24-Apr-2019 17:35    1984
minisat+_1.0-3_mips64el.deb                        24-Apr-2019 17:35    144K
minisat+_1.0.orig.tar.gz                           24-Apr-2019 17:35     78K