Out of date monodevelop in ports

[Paul Webster]

Good day, just thought I would query when monodevelop will be updated in
ports it is quite significantly behind the stable release at the time of
writing.

monodev 6 is infact on git