$ sudo apt-get install gmrun
Reading package lists... Done
Building dependency tree
Reading state information... Done
gmrun is already the newest version.
0 upgraded, 0 newly installed, 0 to remove and 18 not upgraded.
2 not fully installed or removed.
After this operation, 0B of additional disk space will be used.
Setting up monodoc-base (2.4.4~svn151842-1ubuntu4) ...
Processing triggers for monodoc-base ...
/usr/bin/update-monodoc: line 3: [: argument expected
generating monodoc search index...
/usr/bin/update-monodoc: line 9: monodoc: command not found
dpkg: error processing monodoc-base (--configure):
subprocess installed post-installation script returned error exit status 127
dpkg: dependency problems prevent configuration of monodoc-http:
monodoc-http depends on monodoc-base; however:
Package monodoc-base is not configured yet.
dpkg: error processing monodoc-http (--configure):
dependency problems - leaving unconfigured
No apport report written because the error message indicates its a followup error from a previous failure.
Errors were encountered while processing:
monodoc-base
monodoc-http
E: Sub-process /usr/bin/dpkg returned an error code (1)
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.