Man pages matching name gnome-tetravex in section 6:

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