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