../ ripgrep_0.10.0-2_amd64.deb 08-Jan-2023 13:57 1185132 ripgrep_12.1.1-1+b1_amd64.deb 08-Jan-2023 11:30 1232344 ripgrep_13.0.0-4+b2_amd64.deb 01-Aug-2023 15:08 1252716