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