Index of /repos/pool/main/m/minisat2/

../
minisat2_2.2.1-5+b3_amd64.deb                      25-Dec-2025 09:53    5258
minisat2_2.2.1-5+b3_i386.deb                       25-Dec-2025 09:53    5258
minisat2_2.2.1-5.debian.tar.xz                     25-Dec-2025 09:53    9348
minisat2_2.2.1-5.dsc                               25-Dec-2025 09:53    1893
minisat2_2.2.1-8.debian.tar.xz                     24-Dec-2025 15:38    9864
minisat2_2.2.1-8.dsc                               24-Dec-2025 15:38    1729
minisat2_2.2.1.orig.tar.gz                         24-Dec-2025 15:38     43K
minisat_2.2.1-5+b3_amd64.deb                       25-Dec-2025 09:53     83K
minisat_2.2.1-5+b3_i386.deb                        25-Dec-2025 09:53     91K
minisat_2.2.1-8_amd64.deb                          24-Dec-2025 15:38     81K
minisat_2.2.1-8_i386.deb                           24-Dec-2025 15:38     90K