Ubuntu
monodevelop package

  1. Bug #1563090
  2. Comment #4

Comment 4 for bug 1563090

Revision history for this message
William Ivanski (william-ivanski) wrote :

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