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