Heres another android release:

Petr Liška remade the great DOS / Amiga game Pushover for Android. You play as a little but strong ant and in each level you need to rearrange all dominoes so they can be toppled by single push. You will encounter 10 different dominoes and 100 levels with increasing difficulty.

via https://pdroms.de/android/pushover-v1-0-android-game