Comment 32 for bug 1868517

I stumbled on this and thought I'd post my workaround in case someone else needed it:

```shell
$ apt-get download ripgrep

$ sudo dpkg --force-overwrite -i ripgrep*.deb
```