../ picosat-dbgsym_965-2_ppc64.deb 22-Feb-2021 08:03 398908 picosat_965-2_ppc64.buildinfo 22-Feb-2021 08:03 5708 picosat_965-2_ppc64.deb 22-Feb-2021 08:03 102720