Man pages matching name robocode in section 6:

robocode.6.en	debian 10 / robocode
robocode.6.en	debian 11 / robocode
robocode.6.en	debian 12 / robocode