I just updated F-Droid to 1.9. After that I updated several apps. All works fine but I can’t update Termux to 0.95. So I de-installed the old version and installed the new one with F-Droid. It worked. I can work with Termux again. Android 7.0 (Huawei P9 lite) also shows Termux 0.95 in the App-list. But according to F-Droid, Termux is not installed.
I determine this behaviour the first time. Do I have to worry? What’s the solution?