Man pages matching name robot-map-gui in section 1:

robot-map-gui.1.en	debian 11 / mrpt-apps
robot-map-gui.1.en	debian 12 / mrpt-apps