Tor is available in an F-Droid repository [1], but that only removes problems for F-Droid users. You want to reach Google Play users with security updates as well.

[1] https://support.torproject.org/tormobile/tormobile-7/

I did a search in the app before posting but didn't see it there

Probably because you haven't enabled their repository; it isn't in the default one yet.

Still, the main point still stands: being in there wouldn't solve the problem of keeping Google Play users up-to-date.

I am running Tor browser from F-Droid.

In settings, I see "version 10.0.7 (84.1.0-Release)."

It might be necessary to enable the Guardian project in your repository settings, then refresh in order to install this software.

As someone else pointed out, it is indeed published on F-Droid, as well as on the torproject web site.