../ ripgrep-13.0.0-r1.log 28-Jul-2022 23:47 445K ripgrep-13.0.0-r5.log 27-May-2023 07:54 12K ripgrep-13.0.0-r6.log 01-Jul-2023 17:20 11K ripgrep-14.0.3-r0.log 05-Dec-2023 15:51 8490 ripgrep-14.1.0-r0.log 08-Jan-2024 00:15 9173