../ minisat-dbgsym_2.2.1-8_sh4.deb 27-Feb-2024 09:03 161K minisat2_2.2.1-8_sh4.buildinfo 27-Feb-2024 09:03 5724 minisat_2.2.1-8_sh4.deb 27-Feb-2024 09:03 87K