Index of /loongnix/20/pool/main/m/minisat2/

../
minisat-dbgsym_2.2.1-5.1_loongarch64.deb           21-Feb-2023 12:16              240664
minisat2_2.2.1-5.1.debian.tar.xz                   21-Mar-2023 14:06                9412
minisat2_2.2.1-5.1.dsc                             21-Mar-2023 14:06                 975
minisat2_2.2.1-5.1_loongarch64.deb                 21-Feb-2023 12:16                5144
minisat2_2.2.1.orig.tar.gz                         21-Mar-2023 14:06               44229
minisat_2.2.1-5.1_loongarch64.deb                  21-Feb-2023 12:16              142856