If you use Ubuntu 12.04, use the second ( PPA below. For Ubuntu 14.04, you can use any of the two PPAs below.
Tsvetko's stable Cinnamon PPA provides the latest Cinnamon for Ubuntu 14.04 (2.2.13) and Cinnamon 2.0.14 for Ubuntu 12.04 (that's because newer Cinnamon versions don't work in Ubuntu 12.04) as well as all the required packages like Nemo, cinnamon-screensaver, etc.
Android is one of the most popular mobile operating systems (and it is based on the Linux kernel too.) However, diving into developing apps for Android can appear to be a bit daunting at first. The following how-to runs you through the basics of setting up an Android development environment on your Fedora machine. The basic workflow is to download the Android SDK, use the SDK to generate a quick first “hello world” application, then test out that application with either a physical Android device or the Android emulator.