Index of /kylinsoft/anything2.0/openkylin/pool/main/m/minisat2/

../
minisat2_2.2.1-ok1.debian.tar.xz                   27-Mar-2024 18:07                8916
minisat2_2.2.1-ok1.dsc                             27-Mar-2024 18:07                1560
minisat2_2.2.1.orig.tar.gz                         27-Mar-2024 18:07               44229
minisat_2.2.1-ok1_amd64.deb                        11-May-2024 15:02               81788
minisat_2.2.1-ok1_arm64.deb                        25-Apr-2024 16:20               82324
minisat_2.2.1-ok1_loong64.deb                      26-Aug-2024 14:59              143044
minisat_2.2.1-ok1_riscv64.deb                      27-May-2024 19:19              144940