Index of /kylinsoft/anything/openkylin/pool/main/m/minisat2/

../
minisat2_2.2.1-ok1.debian.tar.xz                   27-Jul-2022 09:16                8600
minisat2_2.2.1-ok1.dsc                             27-Jul-2022 09:16                1758
minisat2_2.2.1-ok1_amd64.deb                       28-Jul-2022 02:26                1820
minisat2_2.2.1-ok1_arm64.deb                       07-Feb-2023 21:45                1820
minisat2_2.2.1-ok1_riscv64.deb                     07-Sep-2022 19:10                1822
minisat2_2.2.1.orig.tar.gz                         27-Jul-2022 09:16               44229
minisat_2.2.1-ok1_amd64.deb                        28-Jul-2022 02:26               90240
minisat_2.2.1-ok1_arm64.deb                        07-Feb-2023 21:45               89900
minisat_2.2.1-ok1_riscv64.deb                      07-Sep-2022 19:10              181452