../ jesred_1.2pl1-ok1.debian.tar.xz 23-Jul-2022 12:25 15588 jesred_1.2pl1-ok1.dsc 23-Jul-2022 12:25 1584 jesred_1.2pl1-ok1_amd64.deb 23-Jul-2022 12:25 14628 jesred_1.2pl1-ok1_arm64.deb 18-Jan-2023 16:00 14168 jesred_1.2pl1-ok1_i386.deb 24-Oct-2023 12:33 15268 jesred_1.2pl1-ok1_riscv64.deb 24-Oct-2023 22:35 14922 jesred_1.2pl1.orig.tar.gz 23-Jul-2022 12:25 26212