On Tuesday, 17 September 2013 at 14:20:03 UTC, Manu wrote: > Can any linux MonoDevelop user enlighten me on how to use > MonoDevelop4 on > linux? I couldn't find a package for it anywhere... only MD3. > It seems > linux MD is way behind... no idea why. Your distro? It is 4.0.12 in Arch Linux official repository :P