Cómo desinstalar libtopmenu-server-gtk2-dev en Debian 9 (Stretch)