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


../
minisat+-dbgsym_1.0-4_loong64.deb                  29-Oct-2024 04:16             1052136
minisat+_1.0-4.debian.tar.xz                       07-Nov-2024 20:29                4176
minisat+_1.0-4.dsc                                 07-Nov-2024 20:29                1984
minisat+_1.0-4_loong64.deb                         29-Oct-2024 04:16              131540
minisat+_1.0.orig.tar.gz                           07-Nov-2024 20:29               79990