Index of /loongnix/25/pool/main/m/minisat+/

../
minisat+-dbgsym_1.0-5_loong64.deb                  22-Sep-2025 06:30              901904
minisat+_1.0-5.debian.tar.xz                       22-Sep-2025 06:30                4448
minisat+_1.0-5.dsc                                 22-Sep-2025 06:30                1979
minisat+_1.0-5_loong64.deb                         22-Sep-2025 06:30              147208
minisat+_1.0.orig.tar.gz                           22-Sep-2025 06:30               79990