../ sed_4.7-ok1.debian.tar.xz 14-May-2022 07:15 54288 sed_4.7-ok1.dsc 14-May-2022 07:15 1689 sed_4.7-ok1_amd64.deb 14-May-2022 07:30 187852 sed_4.7-ok1_riscv64.deb 14-May-2022 19:50 182288 sed_4.7.orig.tar.xz 14-May-2022 07:15 1298316