These are packages for precompiled ARM microcontroller compilers from https://launchpad.net/gcc-arm-embedded. [Bjørn: modify commit message (add paragraph).]