Index of /debian13/archive/pool/main/m/minisat+/

../
minisat+_1.0-5.debian.tar.xz                       10-Aug-2026 02:26    4448
minisat+_1.0-5.dsc                                 10-Aug-2026 02:26    1979
minisat+_1.0-5_amd64.deb                           09-Aug-2026 00:17    146K
minisat+_1.0.orig.tar.gz                           10-Aug-2026 02:26     78K