Index of /ubuntu/pool/universe/m/minisat2/

../
minisat2_2.2.1-8build1.debian.tar.xz               04-Mar-2026 10:04    9976
minisat2_2.2.1-8build1.dsc                         04-Mar-2026 10:04    1811
minisat2_2.2.1.orig.tar.gz                         04-Mar-2026 10:04     43K
minisat_2.2.1-8build1_amd64.deb                    04-Mar-2026 10:04     86K