../ gawk-5.1.1-r1.log 10-Sep-2022 11:38 64K gawk-5.2.0-r0.log 05-Sep-2022 15:26 65K gawk-5.2.1-r0.log 24-Nov-2022 06:27 66K gawk-5.2.1-r1.log 18-Mar-2023 13:58 65K gawk-5.2.1-r2.log 11-Apr-2023 16:20 65K gawk-5.2.2-r0.log 12-May-2023 20:56 73K gawk-5.3.0-r0.log 03-Nov-2023 06:54 73K