Man pages matching name allegro_get_event_type in section 3alleg5:

ALLEGRO_GET_EVENT_TYPE.3alleg5.en	debian 10 / allegro5-doc
ALLEGRO_GET_EVENT_TYPE.3alleg5.en	debian 11 / allegro5-doc
ALLEGRO_GET_EVENT_TYPE.3alleg5.en	debian 12 / allegro5-doc
ALLEGRO_GET_EVENT_TYPE.3alleg5.en	debian 13 / allegro5-doc