../ minisat-dbgsym_2.2.1-8_ppc64.deb 27-Feb-2024 02:03 210472 minisat2_2.2.1-8_ppc64.buildinfo 27-Feb-2024 02:03 6113 minisat_2.2.1-8_ppc64.deb 27-Feb-2024 02:03 88964