Index of /debian-trixie/debian/pool/main/m/minisat+/

../
minisat+_1.0-5.debian.tar.xz                       09-Feb-2026 22:11                4448
minisat+_1.0-5.dsc                                 09-Feb-2026 22:11                1979
minisat+_1.0-5_amd64.deb                           09-Feb-2026 22:11              149280
minisat+_1.0.orig.tar.gz                           09-Feb-2026 22:11               79990