New PariDroid release 2.17.3.2.5

[Andreas Enge <andreas.enge@inria.fr>]

Hello,

I am pleased to announce a new release of PariDroid, available from the
PARI/GP download page. This pushes the underlying version to the current
release 2.17.3 and makes a tiny modification concerning the buttons.

Additionally it required a change for Android 15 to avoid that part of
the app was hidden by the title bar with the menu; I do not know whether
this problem also occurred with the previous version or only after
recompiling the new release.

Given that Google blocks our developer account it is unlikely that this
will ever appear in the Google Play Store. So if you got the previous
version from there, you will have to first uninstall before downloading
the .apk file from our website.

This version may or may not appear in the Fdroid store, depending on
whether we manage to get it built with their Gradle based systems.

Enjoy,

Andreas