../ minisat-dbgsym_2.2.1-8_sparc64.deb 27-Feb-2024 09:03 198K minisat2_2.2.1-8_sparc64.buildinfo 27-Feb-2024 09:03 6064 minisat_2.2.1-8_sparc64.deb 27-Feb-2024 09:03 78K