Index of /loongnix/20/pool/main/m/minisat+/

../
minisat+-dbgsym_1.0-4.1_loongarch64.deb            21-Feb-2023 12:16             1111984
minisat+_1.0-4.1.debian.tar.xz                     21-Mar-2023 14:06                4248
minisat+_1.0-4.1.dsc                               21-Mar-2023 14:06                1109
minisat+_1.0-4.1_loongarch64.deb                   21-Feb-2023 12:16              138904
minisat+_1.0.orig.tar.gz                           21-Mar-2023 14:06               79990