Index of /pool/main/m/minisat2/

../
minisat_2.2.1-8_amd64.deb                          06-Dec-2025 15:02               83108
minisat_2.2.1-8_i386.deb                           06-Dec-2025 15:04               92384