../ chiark-really_7.0.0_ppc64.deb 22-Aug-2022 06:03 21204 chiark-rwbuffer_7.0.0_ppc64.deb 22-Aug-2022 06:03 19464 chiark-utils-bin_7.0.0_ppc64.deb 22-Aug-2022 06:03 72476 chiark-utils_7.0.0_ppc64.buildinfo 22-Aug-2022 06:03 7452