Index of /kylinsoft/anything2.0/openkylin/pool/main/m/minisat+/

../
minisat+_1.0-ok1.debian.tar.xz                     27-Mar-2024 18:07                3936
minisat+_1.0-ok1.dsc                               27-Mar-2024 18:07                1791
minisat+_1.0-ok1_amd64.deb                         02-May-2024 17:39              136108
minisat+_1.0-ok1_arm64.deb                         07-May-2024 22:01              124512
minisat+_1.0-ok1_loong64.deb                       09-Aug-2024 07:40              137460
minisat+_1.0-ok1_riscv64.deb                       23-May-2024 10:50              133516
minisat+_1.0.orig.tar.gz                           27-Mar-2024 18:07               79990