I'm using monodevelop from Xamarin repository: http://www.mono-project.com/docs/getting-started/install/linux/#debian-ubuntu-and-derivatives
Had to pin the package to not install from ubuntu repo, which provides a higher version. Edit file /etc/apt/preferences and put the following:
Package: monodevelop Pin: origin archive.ubuntu.com Pin-Priority: -1
I'm using monodevelop from Xamarin repository: http:// www.mono- project. com/docs/ getting- started/ install/ linux/# debian- ubuntu- and-derivatives
Had to pin the package to not install from ubuntu repo, which provides a higher version. Edit file /etc/apt/ preferences and put the following:
Package: monodevelop
Pin: origin archive.ubuntu.com
Pin-Priority: -1