Man pages matching name pop_config_state in section 3alleg4:

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