Isso não parece que gmrun é qualquer parte do problema ou solução.
Parece mais que algo foi prejudicado na atualização mais recente de monodoc-base
, o que faz com que permaneça desconfigurado, o que significa que monodoc-http
não pode ser configurado corretamente porque falta uma dependência.
De acordo com essa saída, o gmrun
em si já está instalado.