Index of /rockos/trixie/rockos-base/pool/main/m/minisat+/

../
minisat+-dbgsym_1.0-5_amd64.deb                    04-Jun-2025 23:24    841K
minisat+-dbgsym_1.0-5_riscv64.deb                  04-Jan-2025 13:42    715K
minisat+_1.0-5.debian.tar.xz                       04-Jan-2025 12:49    4448
minisat+_1.0-5.dsc                                 04-Jan-2025 12:49    1979
minisat+_1.0-5_amd64.deb                           04-Jun-2025 18:36    146K
minisat+_1.0-5_riscv64.deb                         04-Jan-2025 10:43    148K
minisat+_1.0.orig.tar.gz                           15-May-2024 12:03     78K