Index of /debian13/archive/pool/main/m/minisat2/

../
minisat2_2.2.1-8.debian.tar.xz                     10-Aug-2026 02:26    9864
minisat2_2.2.1-8.dsc                               10-Aug-2026 02:26    1729
minisat2_2.2.1.orig.tar.gz                         10-Aug-2026 02:26     43K
minisat_2.2.1-8_amd64.deb                          09-Aug-2026 00:17     81K