Man pages matching name atari800 in section 1:

atari800.1.en	debian 10 / atari800
atari800.1.en	debian 11 / atari800
atari800.1.en	debian 12 / atari800