../ minisat-dbgsym_2.2.1-8_ppc64.deb 27-Feb-2024 03:03 206K minisat2_2.2.1-8_ppc64.buildinfo 27-Feb-2024 03:03 6113 minisat_2.2.1-8_ppc64.deb 27-Feb-2024 03:03 87K