../ minisat-dbgsym_2.2.1-8_x32.deb 27-Feb-2024 03:03 197K minisat2_2.2.1-8_x32.buildinfo 27-Feb-2024 03:03 6097 minisat_2.2.1-8_x32.deb 27-Feb-2024 03:03 80K