../ ripgrep-13.0.0-r1.log 28-Jul-2022 06:48 27K ripgrep-13.0.0-r3.log 09-Dec-2022 09:18 25K ripgrep-13.0.0-r4.log 20-May-2023 00:02 26K ripgrep-13.0.0-r5.log 27-May-2023 02:51 25K ripgrep-13.0.0-r6.log 01-Jul-2023 00:42 25K ripgrep-14.0.3-r0.log 29-Nov-2023 22:49 28K ripgrep-14.1.0-r0.log 07-Jan-2024 21:29 27K