Index of /pool/universe/m/minisat2/


../
minisat2_2.2.1-5build2_amd64.deb                   15-Aug-2026 12:56                2032
minisat_2.2.1-5build2_amd64.deb                    15-Aug-2026 12:56               81944
minisat_2.2.1-8build1_amd64.deb                    15-Aug-2026 12:56               88062
minisat_2.2.1-8build2_amd64.deb                    15-Aug-2026 12:56               89932