I'm hoping to try solo mining, just for fun.  I've got a Windows box setup ok, but for Linux, I do not see the "miner" software on GitHub.  Is it included in one of the Ubuntu binaries listed there?

Thanks!