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

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