Index of /seedlin/pool/main/m/minisat+/

../
minisat+_1.0-5.debian.tar.xz                       12-Jun-2026 02:05                4448
minisat+_1.0-5.dsc                                 12-Jun-2026 02:05                1979
minisat+_1.0-5_amd64.deb                           12-Jun-2026 02:05              149280
minisat+_1.0-5_riscv64.deb                         12-Jun-2026 02:05              151296
minisat+_1.0.orig.tar.gz                           12-Jun-2026 02:05               79990