Index of /debian/pool/main/m/minisat2/

../
minisat2_2.2.1-5+b3_amd64.deb                      03-Sep-2024 08:32    5258
minisat_2.2.1-5+b3_amd64.deb                       03-Sep-2024 08:32     83K