Man pages matching name gnome-mines in section 6:

gnome-mines.6.en	debian 10 / gnome-mines
gnome-mines.6.en	debian 11 / gnome-mines
gnome-mines.6.en	debian 12 / gnome-mines