MonoDevelop хранит жестко запрограммированный список сборок фреймворка, на которые можно ссылаться в диалоговом окне Добавить ссылку (они выглядят как пакеты, но не являются на самом деле пакетами).Это похоже на то, что делает VS, за исключением того, что VS использует реестр.
Вероятно, внутренний список просто не был обновлен, чтобы отразить новые сборки, которые были добавлены в 4.0, и поэтому он непоказать в качестве ссылки.Существует множество сборок, для которых это действительно так (System.Numerics.dll - это еще одна проблема, о которой я могу подумать.)
Обновление: просто к сведению, лучший способ исправить это -сообщить об ошибке на https://bugzilla.novell.com—that пути, ее можно отслеживать и отслеживать.