On 18 September 2013 14:09, Dicebot <public@dicebot.lv> wrote:

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:

That looks thoroughly unofficial. Why should I trust it?

MonoDevelop's website points to badgerports which is thoroughly out of date: http://monodevelop.com/Download

My friend also found this: http://software.opensuse.org/download/package?project=home:tpokorra:mono&package=monodevelop-opt

I'm not sure what to trust if I can't even trust the official website...

If you're on some sort of ubuntu variant: https://launchpad.net/~keks9n/+archive/monodevelop-latest