Indie game storeFree gamesFun gamesHorror games
Game developmentAssetsComics
SalesBundles
Jobs
Tags

I'm not in front of my Linux machine right now, but my guess would be that maybe you grabbed a more recent version of a dependency in MonoDevelop?

I use very specific version (GTK# 2.12, OpenTK 3.1.0) i think and have no plan to update anything at the moment as things are pretty stable on all platforms. For example, I know GTK 3 has been out for almost 10 years and OpenTK has a 3.2.0 version, but i have no need to update. :)

I do prefer your option name, even if it is just as wordy.

-Mat