Index of /ubuntu/pool/universe/m/minisat+/

../
minisat+_1.0-2_amd64.deb                           03-Apr-2026 00:41    176K
minisat+_1.0-2_i386.deb                            03-Apr-2026 00:41    168K