Monodevelop out of date

[Christoph Höger]

Hi,

is actually someone packaging monodevelop? We are at v0.13.1 in the 
repos and 0.17 is out.
If help is needed to build monodevelop I would volunteer, if someone 
tells me how to.

regards