On Wednesday, 18 September 2013 at 00:47:09 UTC, Manu wrote: > Mint15... Link me? I can't find it. Mint is Debian/Ubuntu based so you should look at PPA mentioned above: > If you're on some sort of ubuntu variant: > https://launchpad.net/~keks9n/+archive/monodevelop-latest