Index of /kylinsoft/anything/openkylin/pool/main/m/minisat+/

../
minisat+_1.0-ok1.debian.tar.xz                     27-Jul-2022 09:16                3940
minisat+_1.0-ok1.dsc                               27-Jul-2022 09:16                1791
minisat+_1.0-ok1_amd64.deb                         28-Jul-2022 02:26              151064
minisat+_1.0-ok1_arm64.deb                         07-Feb-2023 21:45              145516
minisat+_1.0-ok1_riscv64.deb                       07-Sep-2022 18:20              152334
minisat+_1.0.orig.tar.gz                           27-Jul-2022 09:16               79990