Man pages matching name gui_set_screen in section 3alleg4:

gui_set_screen.3alleg4.en	debian 10 / allegro4-doc
gui_set_screen.3alleg4.en	debian 11 / allegro4-doc
gui_set_screen.3alleg4.en	debian 12 / allegro4-doc
gui_set_screen.3alleg4.en	debian 13 / allegro4-doc