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

../
minisat+_1.0-2_amd64.deb                                                                                                 25-Sep-2023 19:48    176K
minisat+_1.0-2_i386.deb                                                                                                  25-Sep-2023 19:48    168K