If anyone would like to try ManicMiner for Raspberry Pi written in AppGameKit Tier 1
You can download y version from here :-
Unzip the folder to your desktop and then copy using Filezilla or WinSCP etc ManicMinerAGK and media folders to your Raspberry Pi. I recommend creating a folder first, i.e. mkdir /home/pi/ManicMiner
You'll need to (assuming you've copied the files into folder above...)
now you can execute it from terminal.
Be interested in feedback if you've been able to test it.