../ chiark-really_7.0.0_ppc64.deb 22-Aug-2022 06:03 21K chiark-rwbuffer_7.0.0_ppc64.deb 22-Aug-2022 06:03 19K chiark-utils-bin_7.0.0_ppc64.deb 22-Aug-2022 06:03 71K chiark-utils_7.0.0_ppc64.buildinfo 22-Aug-2022 06:03 7452