Index of /archive.ubuntu.com/ubuntu/pool/universe/m/minisat2/

../
minisat2_2.2.1-8build1.debian.tar.xz               01-Apr-2024 11:00    9976
minisat2_2.2.1-8build1.dsc                         01-Apr-2024 11:00    1811
minisat2_2.2.1.orig.tar.gz                         30-Apr-2011 20:05     43K
minisat_2.2.1-8build1_amd64.deb                    01-Apr-2024 13:33     86K