Man pages matching name get_datafile_property in section 3alleg4:

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